secd

There are 0 repository under secd topic.

• carld / lispkit

  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7

  ccompilerlisplisp-compilerlisp-interpreterlispkitsecd
  Language:C 49

• hawkw / seax

  A VM-based runtime environment for functional programming languages

  rustvirtual-machinesecdinterpreterlisplisp-interpreter
  Language:Rust 45

• EarlGray / SECD

  Scheme on SECD

  secdschemec
  Language:C 42

• techcentaur / Krivine-Machine

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

  abstract-machinekrivine-machinelambda-calculusocamlprogramming-languagesecd
  Language:OCaml 38

• hawkw / seax_svm

  Seax Virtual Machine

  virtual-machinerustsecdlisp-interpreter
  Language:Rust 12

• HarryR / secdpy

  SECD machine and Lispkit Lisp compiler, in Python

  secdlisp-compilerpythonlisp-interpreterfunctional-programmingvirtual-machinelisp
  Language:Python 9

• RISHIT7 / Toy-Lang

  A Simple Toy language made in Prolog and OCaml

  krivine-machineocamlprologsecdtoy-language
  Language:OCaml 4

• ytaki0801 / btLISP

  btLISP: a Pure LISP Self-Compiling Compiler with a SECD-style Virtual Machine

  lispcompilervirtual-machinesecd-machinepythonself-compilingbootstrappingsecdschemescheme-compilerscheme-dialectbootstrapmicrobit
  Language:Python 4

• ilyasergey / typechecker-transformations

  An implementation of the mechanical correspondence between algorithms for type checking

  type-checkingabstract-machinesecdceskreductionml
  Language:Standard ML 2

• thma / secd

  Java Implementation of SECD Machine + Lispkit Lisp Compiler

  secdlispkit
  Language:Java 2

• kthcloud / secd

  kthcloud secd - backend for secure machine learning workflow

  kthcloudsecd
  Language:Python 1

• kthcloud / secd-web

  Website for secd, the security focused sister project of kthcloud

  kthcloudsecd
  Language:HTML 1

• NeuroCorgi / secd-machine

  SECD machine implemented in c++

  cppfunctional-programmingsecdvirtual-machine
  Language:C++ 1

• recurze / Krivine_SECD

  Implementation of abstract machines in Ocaml

  abstract-machinekrivine-machineprogramming-languagessecd
  Language:OCaml 1

• CsengerG / dissertation

  LaTeX source of my Cambridge Computer Science Part II dissertation

  algebraic-effect-handlerscekcompilerseff-langprogramming-languagessecdyoyo
  Language:TeX 0

• pradyumnameena / COL226-Programming-Languages

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

  ocamlfunctional-programmingprologtypecheckersecdkrivine-machineabstract-machines
  Language:OCaml 0

• kthcloud / secd-pip

  PyPi package facilitating running machine learning workflows on secd

  kthcloudmachine-learningpypipythonpython3secdtooling
  Language:Python