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
• rfindler / modern-macros-talk
  ☆14Updated 2 years ago
• flix / book
  The Flix Programming Book
  ☆18Updated this week
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• Copilot-Language / copilot-discussion
  Repository containg reports and documentation on Copilot
  ☆17Updated 7 months ago
• tommasocerruti / rowlang
  RowLang is a minimalistic esoteric programming language written as an analogy to rowing.
  ☆20Updated last year
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 6 months ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated last week
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• feenkcom / gtoolkit-visualizer
  A set of visualization engines.
  ☆14Updated this week
• prologbyexample / code
  ☆29Updated 2 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 6 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆27Updated 2 years ago
• dbpedia / ontology-time-machine
  ☆11Updated 6 months ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 5 months ago
• woxjro / lltz
  LLTZ: Compiler from MLIR to Michelson
  ☆14Updated 6 months ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• open-quantum-safe / profiling
  [DEPRECATED — See notice in README.md] Network-level performance testing of post-quantum cryptography using the OQS suite
  ☆11Updated last month
• Amirrezahmi / Mathematica-Wolfram-notebooks
  This repository houses five notebooks containing Mathematica Wolfram commands along with their detailed descriptions in Persian. Explore …
  ☆14Updated 2 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 5 months ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆16Updated 3 weeks ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆16Updated last year
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 9 months ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆25Updated 2 weeks ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 3 years ago