planetlambert / turing

Related projects ⓘ

Alternatives and complementary repositories for turing

• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated 10 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆235Updated last week
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 9 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆130Updated 7 months ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 2 years ago
• susam / fxyt
  Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands
  ☆117Updated 2 months ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆73Updated 6 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆256Updated last year
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆195Updated 5 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• abuseofnotation / vanilla-fp
  The no-framework framework for building component-based purely-functional UIs.
  ☆126Updated last year
• jsvan / BusStopBloomfilter
  Navigating arbitrarily complex bus systems can be tricky, especially as bus listings and routes are listed in O(N) style wall-posters. Ca…
  ☆71Updated last year
• 8dcc / bin-graph
  Visualize binary files
  ☆111Updated last month
• Dicklesworthstone / grassmann_article
  ☆50Updated 5 months ago
• Tetraslam / SHFLA
  ☆53Updated this week
• NyuB / ocli
  Mini elm-inspired utilities for Ocaml CLI applications
  ☆72Updated last week
• bf-enterprise-solutions / ed.bf
  Infinitely configurable integrated IDE and text editor
  ☆125Updated last month
• kelas / ooj
  the origins of J
  ☆60Updated last year
• jamii / jams
  ☆184Updated last year
• RuyiLi / cursed-typescript
  TypeScript's type system is Turing complete - let's abuse that!
  ☆97Updated 8 months ago
• social4git / social4git
  A decentralized social protocol based on git
  ☆130Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• cjdrake / seqlogic
  Sequential Logic
  ☆95Updated this week
• JosephSBoyle / skip_gram
  ☆36Updated last year
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆376Updated this week
• gbletr42 / bef
  Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.
  ☆57Updated 5 months ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆274Updated this week
• iKevinY / ultra
  Cryptanalysis of the Enigma machine in Rust.
  ☆125Updated 3 years ago
• Hafthor / zsvutil
  ZSV Utility for converting json to/from zip-separated-values
  ☆58Updated 5 months ago