#

krivine-machine

Here are 8 public repositories matching this topic...

clark800 / lambda-zero

A minimalist pure lazy functional programming language

c programming-language haskell functional functional-programming lambda-calculus minimalist lazy-evaluation krivine-machine

Updated Sep 6, 2021
C

techcentaur / Krivine-Machine

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

programming-language ocaml lambda-calculus secd abstract-machine krivine-machine

Updated Apr 8, 2018
OCaml

recurze / Krivine_SECD

Implementation of abstract machines in Ocaml

programming-languages secd abstract-machine krivine-machine

Updated Jun 6, 2018
OCaml

na0214 / KrivineMachine

An implementation of Krivine Machine that introduced by the "A Core Quantitative Coeffect Calculus".

ocaml krivine-machine

Updated May 29, 2020
OCaml

pradyumnameena / COL226-Programming-Languages

This repository consists of various assignments given by Prof. Sanjiva in the COL226 course.

typechecker functional-programming ocaml prolog secd krivine-machine abstract-machines

Updated Nov 28, 2018
OCaml

Vedant2311 / Interpreters-and-Simulators

Consists of a Functional language as well as an Imperative language, implemented using Ocaml

repl programming-languages type-checker krivine-machine static-scope lexer-parser secd-machine

Updated Jan 27, 2021
OCaml

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-language ocaml prolog prolog-interpreter type-checker abstract-machine krivine-machine

Updated May 14, 2018
OCaml

piyush7gupta / Krivine-and-SECD-Machine

Designed and Implemented Krivine and SECD machine that executes Call By Name and Call By Value semantics respectively.

ocaml krivine-machine call-by-value secd-machine call-by-reference

Updated Aug 24, 2020
OCaml

Improve this page

Add a description, image, and links to the krivine-machine topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the krivine-machine topic, visit your repo's landing page and select "manage topics."