guenchi / Quantum

Related projects ⓘ

Alternatives and complementary repositories for Quantum

• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆19Updated 4 months ago
• kat31416 / quacee
  Quacee quantum computing language
  ☆11Updated 7 years ago
• racket / plot
  ☆40Updated last week
• racket / parser-tools
  ☆11Updated last week
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆25Updated 10 years ago
• racket / honu
  ☆18Updated last year
• guenchi / setup-scheme
  Github Actions CI / CD setup for Scheme
  ☆15Updated last year
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• jessealama / argo
  JSON Schema Adventures
  ☆17Updated last year
• Metaxal / quickscript
  Easy scripting for DrRacket
  ☆17Updated last week
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• mmaleki / LogicalDifferentiation
  Differentiation in logical form by Stone duality.
  ☆8Updated 7 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 8 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• jasonhemann / micro-in-mini
  an implementation of a microKanren(-like language) in miniKanren
  ☆25Updated 10 years ago
• flambard / cl-erlang-term
  Common Lisp implementation of the Erlang External Term Format
  ☆17Updated last year
• racket / db
  ☆21Updated last week
• feeley / etos
  Erlang to Scheme compiler
  ☆36Updated 12 years ago
• dedbox / racket-neuron
  Decentralized Software Organisms
  ☆17Updated 2 years ago
• takikawa / racket-ppa
  Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …
  ☆10Updated 2 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• lathe / parendown-for-racket
  A weak opening parenthesis for Racket, good for eliminating indentation.
  ☆13Updated 2 years ago
• racket / pict
  ☆15Updated last week