Alternatives and similar repositories for cimba

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

• needleful / c_plus_prolog
  C plus Prolog
  ☆168Updated 10 months ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆81Updated 10 months ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated last year
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆76Updated 3 years ago
• romforth / romforth
  Ultra Portable, Small, Baremetal Forth for various processors
  ☆45Updated last week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆86Updated 10 months ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆77Updated 2 years ago
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆128Updated 2 years ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• sidkshatriya / rr.soft
  Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…
  ☆98Updated 2 months ago
• kej715 / ack
  The Amsterdam Compiler Kit
  ☆27Updated 10 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆78Updated 2 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆21Updated last year
• goblint / cil
  C Intermediate Language
  ☆158Updated last week
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 3 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆69Updated 2 months ago
• agiacalone / cecs-342-lab-prolog
  CECS 342 Lab 4: Logic Languages with SWI-Prolog
  ☆13Updated 4 years ago
• 8dcc / libpool
  Tiny (ANSI) C library for pool allocation
  ☆38Updated last week
• victorpoughon / bidicalc
  A spreadsheet where formulas also update backwards
  ☆79Updated last month
• guidoism / tex-oberon
  Make Project Oberon Pretty Again
  ☆204Updated 2 years ago
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆63Updated this week
• Parrot-Developers / libpomp
  Printf Oriented Message Protocol
  ☆117Updated 9 months ago
• valdanylchuk / xcc700
  mini C compiler for esp32
  ☆202Updated last week
• rochus-keller / Are-we-fast-yet
  Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon
  ☆67Updated last week
• Ericson2314 / baccumulation
  ☆44Updated 2 months ago
• tmcgilchrist / durin
  Durin is a library for reading and writing the Dwarf debugging format
  ☆47Updated 2 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆108Updated 11 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• rrampage / wart
  A simple Web Assembly Interpreter
  ☆18Updated last year