christian-marie / burn

Related projects ⓘ

Alternatives and complementary repositories for burn

• edsko / tracetree
  Visualization of Haskell data structures
  ☆14Updated 9 months ago
• minoki / rounded-hw
  Directed rounding and interval arithmetics with builtin floating types
  ☆11Updated 2 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• nikita-volkov / focus
  A general abstraction for manipulating elements of container data structures
  ☆11Updated last year
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• schrammc / mnist-idx
  Read and write data in the IDX format used in e.g. the MNIST database
  ☆9Updated last year
• kaizhang / clustering
  fast clustering algorithms
  ☆15Updated 5 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• MichelBoucey / cayley-client
  A Haskell client library for Cayley database graph
  ☆14Updated 2 months ago
• glutamate / datasets
  UCI Datasets for Haskell
  ☆11Updated 7 years ago
• m0rphism / printcess
  Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.
  ☆14Updated 7 years ago
• scmu / mrm
  Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types
  ☆9Updated 7 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• sdiehl / datetime
  Financial datetimes and holiday recurrence rules
  ☆18Updated 4 years ago
• vincenthz / ghc-core-html
  Read ghc-core with style. javascript and CSS style.
  ☆13Updated 9 years ago
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated 2 weeks ago
• kolmodin / cabal-install-trace
  Render a log of cabal install as a graph
  ☆10Updated 9 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• tdammers / ghc-wiki
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Updated 5 years ago
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 3 years ago
• twanvl / multiset
  multiset haskell package
  ☆19Updated last year
• chrisdone-archive / webshow
  Show programming language printed values in a web UI
  ☆24Updated 5 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• fpco / sift
  Sift through Haskell code for analysis purposes
  ☆18Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• ekmett / tagged
  phantom types
  ☆37Updated last month
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago