Alternatives and similar repositories for nasm_repl:

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

• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated last week
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• brownplt / lambda-py
  ☆58Updated 10 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆51Updated this week
• mlochbaum / SingeliSort
  Sorting with Singeli
  ☆11Updated last month
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆104Updated last month
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 4 years ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• kpamnany / partr
  Parallel Tasks Runtime
  ☆34Updated 5 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆102Updated 4 months ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• rvarago / kitten
  A small C++17 library inspired by Category Theory.
  ☆16Updated 2 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆11Updated 3 years ago
• codereport / Programming-Language-Meetups
  ☆19Updated 3 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆58Updated 8 years ago
• GrammaTech / resolve
  Resolve software differencing and merging
  ☆37Updated 2 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆59Updated 8 months ago
• arrow-lang / arrow
  Arrow is a fast (as or faster than C) general-purpose programming language. It does not employ a garbage collector and has minimal runtim…
  ☆34Updated 8 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated last year