bismuth

An experimental Scheme

Stars

4

Forks

0

Language

OCaml

Last Updated

Nov 02, 2020

Similar Repos
Repo Language Stars Description Updated At
Idris 12 Experimental normalisation via scheme Oct 06, 2021
Scheme 12 Experimental libraries for R6RS Scheme Jun 21, 2022
C 3 nelhage's experimental toy scheme implementation Aug 13, 2019
Scheme 4 Experimental web framework for Scheme May 09, 2023
BitBake 2 Experimental Yocto Project layer for Chibi Scheme Jan 09, 2018
C++ 2 Experimental micro Scheme interpreter for Arduino/AVR. Feb 19, 2023
Scheme 2 An experimental fork of Ikarus Scheme (debian packaging info) Mar 27, 2018
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 experiment in running zeit/micro using ocaml + bucklescript Jun 10, 2020
OCaml 4 "Functional Pearls" parsing in OCaml Aug 29, 2021
    try-ocaml
OCaml 4 None Feb 12, 2021
OCaml 4 A JS parser and pretty printer in OCaml May 05, 2020
OCaml 4 bucklescript interface for winstonjs Oct 20, 2020
OCaml 4 A Brainfuck dialect for NekoVM Nov 19, 2020
OCaml 4 JavaScript crypto library accompanying snarky Jul 13, 2021
OCaml 4 Bindings which allow Unix.file_descrs to be sent and received over Unix domain sockets Feb 18, 2022
OCaml 4 CLI for controlling xapi storage managers. Oct 01, 2019
OCaml 4 Tapdisk control library Apr 22, 2021
OCaml 4 Ocaml websockets proxy for use with XCP Oct 23, 2020
OCaml 4 Expose XenServer disks conveniently over NBD May 21, 2021