noCanren

Translator from subset of OCaml to OCanren

Stars

2

Forks

2

Language

OCaml

Last Updated

Aug 18, 2023

Similar Repos
Repo Language Stars Description Updated At
Rust 10 Interpreter of OCaml subset Apr 01, 2023
OCaml 3 A compiler implementation for subset of OCaml. Mar 05, 2023
OCaml 46 self-hosted compiler for a subset of OCaml Aug 03, 2022
OCaml 3 A functional low level language subset of OCaml Feb 26, 2023
OCaml 38 Addons modules for the BuckleScript OCaml->Javascript translator Jan 22, 2021
TypeScript 39 A toy programming language which is a subset of OCaml. Aug 10, 2022
OCaml 23 Dromedary is an experimental subset of OCaml, using constraint-based type inference! Mar 28, 2022
OCaml 229 A compiler for a tiny (but growing!) subset of C, written in OCaml. Apr 19, 2023
Coq 11 A translator from SAWCore to Coq Jan 28, 2023
HTML 7 Automatic translator from Perl to Python Apr 28, 2022
OCaml 2 A translator from OpenTheory to Dedukti Apr 26, 2020
Ruby 2 Download archive.zip from Google Translator Toolkit. Aug 21, 2021
LLVM 15 The translator that supports translating NVPTX to SPIR-V. This translator is modified from LLVM-SPIR-V Translator. Aug 22, 2022
OCaml 12 [unreleased] A parser and generator library for a simple subset of YAML in pure OCaml May 02, 2022
OCaml 2 create musicxml files from ocaml Jul 14, 2015
OCaml 832 Compiler from OCaml to Javascript. Apr 20, 2023
OCaml 3 Documentation for atdgen Nov 02, 2020
OCaml 3 Investigating incomplete OCaml stack backtraces Nov 02, 2020
OCaml 3 OCaml-stuffed templates Nov 02, 2020
OCaml 3 Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias Nov 02, 2020
OCaml 3 How much stuff fits in a spherical shell of various dimensions? Nov 02, 2020
OCaml 3 Dynamic signal uniformization Apr 07, 2021
OCaml 3 Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … Apr 18, 2020
OCaml 4 An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. Jan 25, 2022
OCaml 4 Runtime and runner for a compiler from SQL to JavaScript Mar 22, 2022
OCaml 4 Pure OCaml parser for URIs for Geographic Locations Apr 22, 2022
OCaml 4 An automatic recursive function transformer. May 13, 2022
OCaml 4 API + Telegram bot + SPA for Dota 2 hero voicelines Jun 07, 2021
    summhub-app
OCaml 4 None Apr 01, 2019
OCaml 4 Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … Mar 09, 2020
OCaml 4 Wrapper on top of libsvm-tools Nov 16, 2021
OCaml 4 Ocaml Learning Dec 29, 2015
OCaml 4 Mathematical proof checker which can be used to create Qeditas theories, signatures and documents Sep 01, 2021
OCaml 4 testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that Aug 03, 2020
OCaml 4 Tools for making, manipulating, and viewing cross-stitch patterns. Feb 03, 2022
OCaml 4 Spreadsheet demo code from http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html with additional test harness Jun 10, 2019
OCaml 4 Repositório com o conteúdo de Testes Unitários que aprensentei na Disciplina de Qualidade e Teste … Jul 20, 2022
    redex-phenomic
OCaml 4 None Jan 14, 2019
OCaml 4 Modular type checking using open types Feb 12, 2016
OCaml 4 SCGI protocol library for use in ocaml web applications Nov 26, 2020
OCaml 4 This is a modified version of Ott 0.25 Jan 28, 2021
OCaml 4 Intl bindings for Bucklescript Jul 05, 2021
OCaml 4 An implementation of dependently typed lambda calculus Jul 18, 2022
OCaml 4 Parser for chess Portable Game Format Aug 28, 2017
OCaml 4 一个用 OCaml 实现的 http(s) 代理服务器, 极低的资源占用，支持 Linux 和 Mac OSX 在内的 Unix. May 12, 2022
    bs-react-router-dom
OCaml 4 None Nov 26, 2017
OCaml 4 OCaml bindings to libyara May 13, 2022
OCaml 4 An experimental Scheme Nov 02, 2020
OCaml 4 An experiment in running zeit/micro using ocaml + bucklescript Jun 10, 2020
OCaml 4 "Functional Pearls" parsing in OCaml Aug 29, 2021