vishnuravi / stablematch

Related projects ⓘ

Alternatives and complementary repositories for stablematch

• kepae / alloy-coin
  An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
  ☆9Updated 10 years ago
• vitling / midihack
  Algorithmic music project for MIDIHACK 2014
  ☆29Updated 10 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆25Updated 10 years ago
• andreasdotorg / pdfparser
  ☆23Updated 13 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆11Updated 8 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆22Updated 6 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• bryangarza / spectre
  Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.
  ☆19Updated 9 years ago
• adamjmurray / js-live-api-humanize-midi-clips
  An example of using the Max for Live JavaScript API to modify MIDI clips.
  ☆14Updated 10 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• agda / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆41Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• taddeus / brainfucker
  A Brainfuck to binary compiler using LLVM, written in OCaml.
  ☆19Updated last year
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆17Updated 4 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 9 years ago
• CertiKOS / coqrel
  Binary logical relations library for the Coq proof assistant
  ☆20Updated 2 weeks ago
• nivox / quickcheck4c
  Property based testing framework based on QuickCheck
  ☆23Updated 7 years ago
• dschepler / coq-topology
  Topology library for Coq
  ☆11Updated 8 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 2 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆20Updated 2 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆145Updated 9 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 9 years ago
• ColdSauce / Masia
  Gameboy Color game written in C using the GBDK.
  ☆14Updated 9 years ago
• ColdSauce / renaissance
  renaissance is a Scala program that allows people to control their computers by playing musical notes.
  ☆27Updated 7 years ago