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
  ☆17Updated 3 months ago
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated last year
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆22Updated 7 years ago
• draperlaboratory / cspgen
  A tool for translating imperative programs to CSP.
  ☆13Updated 9 years ago
• yav / simple-smt
  ☆22Updated 3 months ago
• chpatrick / clang-pure
  Easy C++ code analysis with pure Haskell
  ☆35Updated last year
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆29Updated 6 years ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 3 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆40Updated 4 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 3 weeks ago
• blitzcode / ghc-stack
  Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
  ☆69Updated 12 years ago
• langston-barrett / coq-big-o
  A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
  ☆36Updated 8 years ago
• mainland / language-c-quote
  ☆60Updated last year
• ndmitchell / hexml
  A bad XML parser
  ☆22Updated last year
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 5 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 5 months ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 6 years ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆62Updated 2 years ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆16Updated last week
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆51Updated 10 years ago
• jpaykin / LNLHaskell
  Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
  ☆36Updated 7 years ago
• haskell-spec / haskell-spec
  Formal specification of the Haskell Language Report
  ☆30Updated 2 weeks ago
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 7 years ago
• haskell-works / hw-rankselect
  ☆18Updated 6 months ago
• mstksg / decidable
  Combinators for manipulating dependently-typed predicates.
  ☆14Updated last year
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago
• jwiegley / parsec-free
  ☆23Updated 2 years ago
• LouisJenkinsCS / LLVM-JVM
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Updated 4 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 12 years ago