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
• serokell / edna
  An open-source tool for data analysis aimed to help researchers with their experiments.
  ☆13Updated last year
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆18Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆15Updated last week
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• twitchax / lucidity
  A distributed execution framework built upon lunatic.
  ☆16Updated last year
• adam-ard / organic-markdown
  A Literate Programming System Utilizing Markdown
  ☆16Updated last week
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• ponylang / crypto
  Library of common cryptographic algorithms and functions for Pony
  ☆12Updated this week
• flix / book
  The Flix Programming Book
  ☆18Updated last week
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆18Updated 4 months ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 5 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated last year
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• pfalcon / awesome-virtual-machines
  Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)
  ☆17Updated 5 years ago
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆14Updated last year
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• rchowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆22Updated 3 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• paulmooreparks / Xfer
  A new data-transfer language that has stricter typing yet more flexible syntax.
  ☆17Updated this week
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 4 months ago
• Sahnvour / zig-containers
  A container library for Zig.
  ☆15Updated 4 years ago
• facebookincubator / cinderx
  High-performance Python runtime extensions
  ☆21Updated last week
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 4 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
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago