Similar repositories to ryanorendorff/lc-2019-dependently-typed-convex-optimization:
ryanorendorff/lc-2019-dependently-typed-convex-optimization
github
similar
gibiansky/IHaskell
github
similar
ryanorendorff/convex
github
similar
bgamari/hs-usdt
github
similar
erikd/conduit-find
github
similar
masterdezign/10-days-of-grad
github
similar
haskellari/cabal-doctest
github
similar
complyue/hadui
github
similar
co-dan/interactive-diagrams
github
similar
agocorona/Workflow
github
similar
LeventErkok/sbvPlugin
github
similar
Petrosz007/haskell-profile-highlight
github
similar
haskell-hvr/packunused
github
similar
konn/equational-reasoning-in-haskell
github
similar
yav/type-nat-solver
github
similar
tweag/guides
github
similar
ethercrow/opentelemetry-haskell
github
similar
bgamari/ghc-debug
github
similar
bgamari/b-tree
github
similar
ezyang/compact
github
similar
dsorokin/aivika
github
similar
google/ghc-source-gen
github
similar
konn/computational-algebra
github
similar
hailstorm-hs/hailstorm
github
similar
composewell/packcheck
github
similar
fpco/weigh
github
similar
AndrasKovacs/flatparse
github
similar
jwiegley/coq-pipes
github
similar
Soostone/retry
github
similar
michaelt/streaming
github
similar
JakeWheat/hssqlppp
github
similar
mstksg/backprop
github
similar
jberryman/unagi-chan
github
similar
utdemir/ghc-musl
github
similar
DataHaskell/dh-core
github
similar
msgpack/msgpack-haskell
github
similar
msakai/toysolver
github
similar
AccelerateHS/accelerate-llvm
github
similar
mchakravarty/language-c-inline
github
similar
migamake/json-autotype
github
similar