a-nikolaev / study-in-scarlet

Related projects ⓘ

Alternatives and complementary repositories for study-in-scarlet

• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆11Updated 3 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated 9 months ago
• Qqwy / Jux
  ☆13Updated 3 years ago
• spro / lit
  Literate programming for any language. It's 🔥.
  ☆16Updated 5 years ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 6 months ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 6 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆40Updated 9 months ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆16Updated 5 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 2 years ago
• aryx / xix
  Plan9 software ported to OCaml
  ☆25Updated 6 months ago
• rizo / ocaml-by-example
  Code examples for OCaml.
  ☆9Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated last week
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆23Updated 5 months ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• Bubbler-4 / factor-problem-solving
  Solutions to various problems written in Factor
  ☆12Updated 3 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆17Updated 9 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 2 years ago
• PaulBatchelor / weewiki
  A tiny wiki engine. (Fossil Export)
  ☆13Updated last year
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆9Updated last month
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• asrp / maketheseslides
  How to make these slides - Instructions for making these slides and the editor for it
  ☆10Updated 5 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆12Updated 9 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago