Alternatives and similar repositories for docs

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

• google / mlir-hs
  Haskell bindings for MLIR
  ☆110Updated 7 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆84Updated this week
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆51Updated 3 weeks ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆110Updated this week
• tfc / nix_cmake_example
  An example with nix: How to automatically and reproducibly build and integration-test a database C++ app in 60 different build-configurat…
  ☆66Updated 3 years ago
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆124Updated last year
• edolstra / dwarffs
  A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
  ☆209Updated 9 months ago
• tweag / nixpkgs-graph-explorer
  Explore the nixpkgs dependency graph
  ☆16Updated last year
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆105Updated last week
• jtojnar / cmake-snips
  Portability problems I frequently encounter in projects using CMake
  ☆50Updated 3 years ago
• DieracDelta / NixKernelTutorial
  ☆10Updated 4 years ago
• shnarazk / mios
  A SAT solver written in Haskell.
  ☆39Updated 6 years ago
• christiaanb / contranomy
  ☆30Updated 4 years ago
• bollu / mlir-hs
  Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell
  ☆17Updated 4 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆34Updated 5 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆168Updated 2 weeks ago
• leanprover / velcom
  Continuous benchmarking
  ☆19Updated 2 weeks ago
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆87Updated 2 months ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆201Updated 4 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• AccelerateHS / accelerate-llvm
  LLVM backend for Accelerate
  ☆166Updated 3 weeks ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated this week
• blynn / compiler
  The adventures of a Haskell compiler
  ☆231Updated 4 months ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆307Updated 2 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 6 months ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆42Updated 6 months ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 4 years ago