kode4food/ale

Ale is a Lisp Environment for Go applications

Language: Go - Size: 5.28 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 171 - Forks: 6

jaraonthe-dot-net/ASB

The Assembler Sandbox allows developers to experiment with machine instructions

Language: Java - Size: 896 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

marvinborner/bruijn

:abacus: Programming with pure lambda calculus

Language: Haskell - Size: 1.41 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 105 - Forks: 0

ShE3py/I53-TP8

RA-machine compiler, optimizer & emulator.

Language: Rust - Size: 342 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

clayrat/sequent-calc

Experiments with sequent calculi

Language: Idris - Size: 281 KB - Last synced at: 3 days ago - Pushed at: about 4 years ago - Stars: 27 - Forks: 3

takenobu-hs/WebAssembly-illustrated

WebAssembly (Wasm) illustrated

Size: 1.8 MB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 92 - Forks: 1

clayrat/sequent-calc-talk

Code for the "Logic, machines and sequent calculus" talk

Language: Idris - Size: 11.7 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 31 - Forks: 0

momalab/cryptoleq

Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.

Language: C++ - Size: 3.62 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 24 - Forks: 5

pqnelson/ml

A Study in Implementing Functional Programming Languages

Language: C - Size: 104 KB - Last synced at: 9 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

skyisveryblue1/abm_simulator

Simulator to run abstract machine with dual cores implemented by Java

Language: Java - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

GabrieleMaurina/random-access-machine

Random Access Machine implemented in python.

Language: Python - Size: 4.88 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

marvinborner/calm

:zap: Highly efficient and aggressive lambda calculus reducer [WIP]

Language: C - Size: 162 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

kdsuneraavinash/winzig-compiler

Compiler that generates assembly code for the specified abstract machine for programs written in WinZig language

Language: Java - Size: 346 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

GabrielBFern/norma-lab

My implementation of a Norma Machine Simulator

Language: Svelte - Size: 2.33 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

ragibson/miniJava-compiler

A compiler for a subset of Java ("miniJava") as well as an abstract machine and test suites.

Language: Java - Size: 115 KB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 2

techcentaur/Krivine-Machine

Abstract krivine machine implementing call-by-name semantics. In OCaml.

Language: OCaml - Size: 16.6 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 34 - Forks: 2

pavelsivanovs/IMP_D-to-AM-translator

Language: Python - Size: 14.6 KB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

timmyjose-compilers/tam-java

An implementation of the TAM (Triangle Abstract Machine) Stack Machine, in Java.

Language: Java - Size: 66.4 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

idl99/robot-maze-abstract-machine

Size: 2.61 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

nju-mips/nexus-am

A stable version of nexus-am (created by jyy).

Language: C - Size: 582 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1

GabrieleMaurina/while-machine

While Abstract Machine implemented in python.

Language: Python - Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

recurze/Krivine_SECD

Implementation of abstract machines in Ocaml

Language: OCaml - Size: 3.91 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

techcentaur/COL226-Assignments

The code in this repository is relevant to the assignments given in the course COL226, taught by Prof. Sanjiva Prasad, in IIT Delhi, 2nd semester, 2017-2018.

Language: OCaml - Size: 44.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1

ilyasergey/typechecker-transformations

An implementation of the mechanical correspondence between algorithms for type checking

Language: Standard ML - Size: 113 KB - Last synced at: 29 days ago - Pushed at: over 12 years ago - Stars: 2 - Forks: 0