Mabi19 / numbers

Related projects ⓘ

Alternatives and complementary repositories for numbers

• TodePond / SandLab
  a splitting sand game
  ☆15Updated last year
• enjeck / num2math
  Complicated math expression generator
  ☆97Updated 4 months ago
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆32Updated 2 years ago
• kspalaiologos / Maja
  A slick numerics-oriented Mathematical library for Java
  ☆16Updated 9 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated this week
• nilaymaj / esolang-park
  An online visual debugger for esoteric languages
  ☆46Updated 7 months ago
• kotsoft / kotsoft.github.io
  ☆25Updated 5 months ago
• jaredkrinke / 100-languages
  Solving the first 100 Project Euler problems using 100 different programming languages!
  ☆33Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆33Updated 9 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆99Updated last year
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆156Updated this week
• fcrozatier / champagne
  champagne
  ☆32Updated 9 months ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆16Updated last year
• TodePond / Habitat
  my javascript helpers
  ☆45Updated 6 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 3 years ago
• dghosef / qdbp
  ☆51Updated 2 months ago
• healeycodes / lisp-to-js
  🖨 An optimizing compiler for a Lisp variant. Compiles and executes byte code in a VM. Can also output JavaScript.
  ☆24Updated 3 weeks ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆44Updated last week
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆47Updated 2 years ago
• kelas / ooj
  the origins of J
  ☆60Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated this week
• TodePond / SpaceTode
  Spatial Programming Language
  ☆19Updated last year
• adam-mcdaniel / markdown-to-html
  A Markdown to HTML compiler written in Haskell.
  ☆15Updated 6 months ago
• TodePond / MotherTode
  language language
  ☆21Updated last year
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 10 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆21Updated last month