Alternatives and similar repositories for VC_VerseCalculus:

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

• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆13Updated this week
• serokell / edna
  An open-source tool for data analysis aimed to help researchers with their experiments.
  ☆13Updated last year
• dbpedia / ontology-time-machine
  ☆11Updated 3 months ago
• profullstack / sans
  Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.
  ☆16Updated last month
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆14Updated 9 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• Copilot-Language / copilot-discussion
  Repository containg reports and documentation on Copilot
  ☆16Updated 4 months ago
• paulmooreparks / Xfer
  A new data-transfer language that has stricter typing yet more flexible syntax.
  ☆17Updated 3 weeks ago
• AlgebraicJulia / AlgebraicOptimization.jl
  ☆12Updated this week
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 8 months ago
• Bitlogic-templates / eagle-eye
  ☆37Updated last week
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• Zhangtaining / cell_research
  This is the repo for all cell sorting code and data
  ☆16Updated 6 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆16Updated 6 months ago
• andrewrk / evo
  specification, reference implementation, and examples of Evo, the programming language made for being the DNA of genetic algorithms
  ☆18Updated 3 years ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 3 years ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• cadCAD-org / CadCAD.jl
  cadCAD implementation in Julia
  ☆16Updated 4 months ago
• jart / matmul
  ☆18Updated 10 months ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 2 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• langston-barrett / duckalog
  Datalog engine based on DuckDB
  ☆10Updated 2 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• Ivo-Balbaert / Vale_Examples
  Working examples in the Vale programming language
  ☆14Updated 3 years ago