mohd-akram / compilers

Related projects ⓘ

Alternatives and complementary repositories for compilers

• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 5 years ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• leanprover / super
  Superposition prover
  ☆16Updated last year
• monte-language / typhon
  A virtual machine for Monte.
  ☆67Updated 6 months ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 8 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 5 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆17Updated 4 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 10 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 4 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 12 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆9Updated last month
• monte-language / monte
  A dynamic language inspired by Python and E.
  ☆79Updated 3 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆17Updated 9 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 5 months ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 3 months ago
• shachaf / mustardwatch
  Detect what files a program uses and rerun it when they change
  ☆28Updated 2 years ago
• andrewchambers / qc
  quick c
  ☆34Updated 2 years ago