Alternatives and similar repositories for crackNum:

Users that are interested in crackNum are comparing it to the libraries listed below

• ekmett / half
  half-precision floating-point
  ☆14Updated 2 months ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 6 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆22Updated 4 years ago
• bollu / coremlir
  Encoding of GHC Core inside MLIR
  ☆18Updated 4 years ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆15Updated 6 years ago
• nomeata / ghc-core-smallstep
  A small-step semantics for Core
  ☆9Updated 4 years ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 7 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• bollu / mlir-hs
  Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell
  ☆16Updated 4 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 3 weeks ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated 2 weeks ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆27Updated 5 years ago
• gdijkstra / hs-to-gallina
  Experimentation project
  ☆16Updated 11 years ago
• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 4 years ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆74Updated last year
• alhassy / multistage-programming-taha
  A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
  ☆10Updated 6 years ago
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 4 years ago
• kframework / haskell-core-semantics
  Haskell's Core in K.
  ☆20Updated 7 years ago