Alternatives and similar repositories for sensum

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

• nikolaushuber / ocaml_inets
  An Encoding of Interaction Nets in OCaml
  ☆9Updated 11 months ago
• cchalmers / circuit-notation
  A plugin for circuit notation
  ☆11Updated 6 months ago
• eldr-io / audiocate
  Audio encoding authentication and validation library for verifying audio as being from a trusted source
  ☆14Updated last year
• awodey / joyal
  ☆15Updated 11 months ago
• iwilare / categorical-automata
  Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…
  ☆18Updated last year
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• chshersh / chshersh.github.io
  My website
  ☆25Updated 5 months ago
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated 2 months ago
• mlabs-haskell / lambda-buffers
  LambdaBuffers toolkit for sharing types and their semantics between different languages
  ☆31Updated last week
• igarnier / prbnmcn-dagger
  A library for probabilistic programming
  ☆16Updated 4 months ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 6 months ago
• cdepillabout / print-console-colors
  Print all the ANSI console colors for your terminal
  ☆11Updated 5 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated 11 months ago
• CoqHott / coq-forcing
  A plugin for Coq that implements the call-by-name forcing translation
  ☆12Updated 4 years ago
• mirage / spamtacus
  Ocaml modular spam filter
  ☆16Updated 8 months ago
• tommasocerruti / rowlang
  RowLang is a minimalistic esoteric programming language written as an analogy to rowing.
  ☆20Updated 11 months ago
• Armael / ocaml-kittyimg
  Implementation of kitty's terminal graphics protocol
  ☆13Updated last year
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 2 weeks ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated last month
• charlielidbury / ochre
  A systems theorem prover
  ☆10Updated 11 months ago
• fram-lang / dbl
  An experimental programming language that combines effect handlers and implicit parameters
  ☆32Updated last week
• pa-ba / AsyncRattus
  ☆10Updated 2 months ago
• jgm / unicode-collation
  Haskell implementation of the Unicode Collation Algorithm
  ☆17Updated 4 months ago
• isovector / functional-design-patterns
  could it be?
  ☆18Updated 10 months ago
• adam-mcdaniel / markdown-to-html
  A Markdown to HTML compiler written in Haskell.
  ☆16Updated last year
• zshipko / ocaml-rust-starter
  Getting started with ocaml-rs
  ☆31Updated 9 months ago