Block or Report
Block or report ocramz
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
language-python Public
Forked from bjpop/language-pythonA parser for Python 2.x and 3.x written in Haskell
-
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedJun 13, 2024 -
-
scotty Public
Forked from scotty-web/scottyHaskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 11, 2024 -
samsort Public
Forked from meooow25/samsortA stable adaptive mergesort implementation
Haskell Other UpdatedApr 30, 2024 -
htmx-plotly Public
An htmx extension to update plotly.js charts
-
hspec-wai Public
Forked from hspec/hspec-waiHelpers to test WAI applications with Hspec
Haskell MIT License UpdatedJan 1, 2024 -
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage": vetted consistent packages from Hackage
-
pymanopt Public
Forked from pymanopt/pymanoptPython toolbox for optimization on Riemannian manifolds with support for automatic differentiation
Python BSD 3-Clause "New" or "Revised" License UpdatedDec 26, 2023 -
wai Public
Forked from yesodweb/waiHaskell Web Application Interface
Haskell MIT License UpdatedDec 25, 2023 -
assignment-riemann-opt Public
minimum bipartite matching via Riemann optimization
-
-
-
blaze-html-qq Public
Quasiquoter for blaze-html
-
-
stack Public
Forked from commercialhaskell/stackThe Haskell Tool Stack
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 6, 2023 -
botan Public
Forked from haskell-cryptography/botanLow-level bindings for Botan
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 6, 2023 -
-
xeno Public
Fast Haskell XML parser
-
ad-delcont Public
Reverse-mode automatic differentiation with delimited continuations
-
-
req-conduit Public
Forked from mrkkrp/req-conduitConduit utilities that work with the Req HTTP client library
Haskell Other UpdatedJun 21, 2023 -
validation-micro Public
Small validation library based on Applicative
-
haskell-jwt Public
Forked from puffnfresh/haskell-jwtJSON Web Token (JWT) decoding and encoding
Haskell MIT License UpdatedJun 11, 2023 -
xml-conduit-microlens Public
microlens combinators for xml-conduit
-
entropy Public
Forked from haskell/entropyEasy entropy source for Haskell users.
Haskell Other UpdatedMar 24, 2023 -
nlp-data-superglue Public
Dataset parsers from the SuperGLUE benchmark https://super.gluebenchmark.com/tasks/
-
vectordb Public
Simple vector database based on annoy and sqlite3
-
aeson-schema Public
Haskell JSON schema validator and parser generator
-
knossos-ksc Public
Forked from microsoft/knossos-kscCompiler with automatic differentiation