Alternatives and similar repositories for Nandlang

Users that are interested in Nandlang are comparing it to the libraries listed below

• hellerve / cspfuck

  View on GitHub
  Brainfuck with Actors
  ☆36Jan 2, 2019Updated 7 years ago
• rain-1 / nand-lang

  View on GitHub
  nand-lang
  ☆15Apr 22, 2018Updated 7 years ago
• skeeto / bfc

  View on GitHub
  Multi-threading brainfuck compiler
  ☆11Dec 10, 2017Updated 8 years ago
• LightAndLight / meta-lambda

  View on GitHub
  Lambda Calculus with quote and unquote
  ☆19Jun 29, 2020Updated 5 years ago
• HackerFoo / peg

  View on GitHub
  A lazy non-deterministic concatenative programming language
  ☆55Aug 3, 2013Updated 12 years ago
• typesanitizer / edit

  View on GitHub
  Edit is a monad for rewriting things.
  ☆23Sep 9, 2020Updated 5 years ago
• octaspire / dern

  View on GitHub
  Programming language
  ☆23Jun 25, 2022Updated 3 years ago
• ChrisPenner / selections

  View on GitHub
  Haskell Package for operating with selections over an underlying functor
  ☆22Oct 21, 2020Updated 5 years ago
• lunasorcery / hw

  View on GitHub
  HW: a modern, open-source, typeless, turing-incomplete programming language.
  ☆10Jul 17, 2018Updated 7 years ago
• ivan-m / jbi

  View on GitHub
  Just Build It - a "do what I mean" abstraction for Haskell build tools
  ☆12Jun 8, 2018Updated 7 years ago
• isoos / http_client

  View on GitHub
  ☆14Oct 6, 2023Updated 2 years ago
• GrayJoKing / Cascade

  View on GitHub
  An esoteric language based on overlapping tree-like structures
  ☆10Oct 16, 2021Updated 4 years ago
• TristanCacqueray / demo-render

  View on GitHub
  Digital art
  ☆10May 12, 2020Updated 5 years ago
• DeflatedPickle / blame

  View on GitHub
  A C++ library for TUIs (terminal user interfaces).
  ☆13Apr 17, 2021Updated 4 years ago
• ibrahimsag / rw

  View on GitHub
  an experiment in presenting code.
  ☆14Aug 11, 2020Updated 5 years ago
• Ahnfelt / AlgorithmWStepByStep

  View on GitHub
  Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.
  ☆11Sep 17, 2014Updated 11 years ago
• dpolitis / auto-1vyprep

  View on GitHub
  Downgrade any xx30 series ThinkPad to an 1vyrain compatible BIOS version.
  ☆15Feb 26, 2021Updated 4 years ago
• fergusq / roda

  View on GitHub
  Röda: A stream-oriented scripting language
  ☆44Jun 24, 2018Updated 7 years ago
• ChrisPenner / unipatterns

  View on GitHub
  Helpers which allow safe partial pattern matching in lambdas
  ☆31Oct 21, 2020Updated 5 years ago
• ptresearch / IntelME-Crypto

  View on GitHub
  ☆35Jun 4, 2018Updated 7 years ago
• tiehuis / zig-gameboy

  View on GitHub
  A gameboy emulator in zig
  ☆14May 29, 2019Updated 6 years ago
• incertae-sedis / smof

  View on GitHub
  Explore and analyze biological sequence data
  ☆17Aug 1, 2024Updated last year
• thamugadi / semantic-preservation

  View on GitHub
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12May 1, 2024Updated last year
• peberlein / c_lambda_calculus

  View on GitHub
  Lambda calculus with Church encoding in C
  ☆31Oct 11, 2018Updated 7 years ago
• ptigwe / hs-flatris

  View on GitHub
  An implementation of Flatris using Haskell and Miso
  ☆32Nov 14, 2019Updated 6 years ago
• meta-logic / sequoia-v0

  View on GitHub
  Design, play with, and analyze sequent calculus proof systems.
  ☆14Sep 5, 2024Updated last year
• amcphail / lambda

  View on GitHub
  An untyped lambda calculus interpreter
  ☆12Nov 25, 2023Updated 2 years ago
• CoolVoltage / cppRunner

  View on GitHub
  Monitor for any changes in your C/C++ files and automatically compiles and runs the program
  ☆13Jun 25, 2015Updated 10 years ago
• bitonic / zurihac-plays

  View on GitHub
  ☆12Jun 13, 2017Updated 8 years ago
• kade-robertson / pythuhn

  View on GitHub
  A Python interpreter for the huh? programming language.
  ☆10Mar 1, 2018Updated 7 years ago
• orlp / pyth5

  View on GitHub
  Clean-sheet rewrite of Pyth.
  ☆13Sep 1, 2015Updated 10 years ago
• Kleidukos / Intrigue

  View on GitHub
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Dec 15, 2025Updated 2 months ago
• amosr / folderol

  View on GitHub
  machine fusion
  ☆16Oct 13, 2018Updated 7 years ago
• lezer-parser / html

  View on GitHub
  An HTML parser for Lezer
  ☆17Jan 5, 2026Updated last month
• chessai / semirings

  View on GitHub
  semirings and *-semirings of types in base/haskell-platform
  ☆44May 21, 2024Updated last year
• chrisseaton / katahdin

  View on GitHub
  A programming language where the syntax and semantics are mutable at runtime
  ☆169May 11, 2012Updated 13 years ago
• rthelen / tyForth

  View on GitHub
  A strongly typed Forth. Stack elements know their type. Functions, words, strings and tables (Lua-esque tables) are first class types.
  ☆16May 23, 2010Updated 15 years ago
• skeeto / xxtea

  View on GitHub
  100% XXTEA authenticated, chunked file encryption
  ☆18Feb 14, 2021Updated 5 years ago
• haskell-foundation / foundation-edge

  View on GitHub
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆19Apr 25, 2017Updated 8 years ago