Alternatives and similar repositories for VC_VerseCalculus

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

• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆18Updated 3 years ago
• Copilot-Language / copilot-discussion
  Repository containg reports and documentation on Copilot
  ☆16Updated 5 months ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• profullstack / sans
  Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.
  ☆16Updated 2 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 3 months ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 7 months ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated 10 months ago
• dbpedia / ontology-time-machine
  ☆11Updated 4 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated this week
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆22Updated 3 months ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 5 months ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 5 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 11 months ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 9 months ago
• prologbyexample / code
  ☆29Updated 2 years ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆14Updated last week
• paulmooreparks / Xfer
  A new data-transfer language that has stricter typing yet more flexible syntax.
  ☆17Updated 3 weeks ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 5 months ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• NUS-Math-Formalization / coxeter
  ☆12Updated 10 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• serokell / edna
  An open-source tool for data analysis aimed to help researchers with their experiments.
  ☆13Updated last year
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 6 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 5 years ago