abstract-machine

There are 0 repository under abstract-machine topic.

• kode4food / ale

  Ale is a Lisp Environment for Go applications

  abstract-machinecompilergogolanglispscheme
  Language:Go 166

• takenobu-hs / WebAssembly-illustrated

  WebAssembly (Wasm) illustrated

  abstract-machinewasmwebassembly
  92
• bruijn

  marvinborner / bruijn

  :abacus: Programming with pure lambda calculus

  balanced-ternaryde-bruijnlambda-calculusprogramming-languageabstract-machinecall-by-needchurch-encodingcombinatory-logic
  Language:Haskell 73

• techcentaur / Krivine-Machine

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

  abstract-machinekrivine-machinesecdocamlprogramming-languagelambda-calculus
  Language:OCaml 38

• clayrat / sequent-calc-talk

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

  sequent-calculusabstract-machine
  Language:Idris 30

• clayrat / sequent-calc

  Experiments with sequent calculi

  sequent-calculusabstract-machine
  Language:Idris 25

• momalab / cryptoleq

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

  abstract-machineencrypted-computationhomomorphic-encryption
  Language:C++ 22

• g4stly / tag_system

  program that accepts a tag system definition and emulates it's behavior

  rusttag-systememulatoremulationturing-machineconceptualabstract-machine
  Language:Rust 2

• ilyasergey / typechecker-transformations

  An implementation of the mechanical correspondence between algorithms for type checking

  type-checkingabstract-machinesecdceskreductionml
  Language:Standard ML 2

• pqnelson / ml

  A Study in Implementing Functional Programming Languages

  languageparsercfunctional-programming-languagecorrectnesshoare-logictwelfacslinterpreterabstract-machinecompiler
  Language:C 2

• ragibson / miniJava-compiler

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

  abstract-machinecompilerjavaminijava
  Language:Java 2

• 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.

  programming-languageabstract-machinekrivine-machinetype-checkerocamlprologprolog-interpreter
  Language:OCaml 2

• azanelli / abstract-machine

  An abstract machine implementation made for the "Programming Languages" course at the University of Parma in 2008.

  abstract-machinejvm-bytecodeprogramming-languages
  Language:C++ 1

• GabrieleMaurina / random-access-machine

  Random Access Machine implemented in python.

  rammachinepythonturing-machineturing-completeabstract-machinerandom-access-machine
  Language:Python 1

• recurze / Krivine_SECD

  Implementation of abstract machines in Ocaml

  krivine-machinesecdabstract-machineprogramming-languages
  Language:OCaml 1

• timmyjose-compilers / tam-java

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

  tamabstract-machinestack-machinejavatriangle-languagevminterpreter
  Language:Java 1

• GabrielBFern / norma-lab

  My implementation of a Norma Machine Simulator

  abstract-machineregister-machinenorma-machine
  Language:Svelte 0

• kdsuneraavinash / winzig-compiler

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

  abstract-machinecompilercompiler-designwinzig
  Language:Java 0

• nju-mips / nexus-am

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

  abstract-machinecputestmicrobenchlitenescoremark
  Language:C 0

• pavelsivanovs / IMP_D-to-AM-translator

  abstract-machineprogramming-languagespythontranslator
  Language:Python 0

• skyisveryblue1 / abm_simulator

  Simulator to run abstract machine with dual cores implemented by Java

  abstract-machinecpu-coresjavasimulator
  Language:Java 0

• GabrieleMaurina / while-machine

  While Abstract Machine implemented in python.

  pythonwhileabstract-machineturingturing-completeturing-machinewhile-abstract-machine
  Language:Python

• idl99 / robot-maze-abstract-machine

  abstract-machineb-specificationatelier-b