ocaml-aig

[toy] And-Inverter Graph in OCaml

Stars

3

Forks

0

Language

OCaml

Last Updated

Dec 06, 2023

Similar Repos
Repo Language Stars Description Updated At
C 23 AIGER And-Inverter-Graph Library Apr 11, 2023
OCaml 15 A toy OCaml builder Oct 07, 2021
OCaml 4 [toy] ocaml client for gemini Jun 18, 2020
OCaml 67 Toy compiler for OCaml Meetup Feb 20, 2021
Rust 4 Majority-inverter graph based logic optimiser (highly experimental) May 01, 2023
OCaml 2 A toy C compiler written in OCaml Mar 15, 2023
OCaml 2 A toy Lisp/Scheme interpreter in OCaml Dec 16, 2023
JavaScript 99 🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph Mar 07, 2023
OCaml 26 A toy implementation of the bitcoin protocol in ocaml. Jan 25, 2023
OCaml 2 OCheme is a toy implementation of Scheme written in OCaml. Dec 27, 2013
TypeScript 39 A toy programming language which is a subset of OCaml. Aug 10, 2022
C++ 51 toy SLAM pose graph optimization using manhattan dataset and ceres-solver May 16, 2023
JavaScript 5 a small toy to render graph with text Jul 30, 2020
Python 86 A toy implementation of Neural Graph Collaborative filtering Feb 23, 2023
OCaml 4 Bindings of the facebook javascript graph-api in ocaml. Mar 26, 2015
Python 3 Growatt inverter monitor Nov 03, 2022
Python 237 Growatt inverter monitor May 12, 2023
C++ 2 Sine Wave Inverter Sep 01, 2020
Python 102 Toy single-machine implementation of the Pregel graph-based framework Sep 26, 2021
Rust 14 Toy experiment of a text editing node graph in Rust Dec 28, 2022
Haskell 2 toy toy toy Mar 15, 2020
OCaml 2 Rewritings of https://github.com/pfalcon/graph-llvm-ir with OCaml. Feb 19, 2018
OCaml 24 A small library to output memory graph for ocaml values Mar 29, 2023
Python 7 TCP connection (from inverter) and MQTT implementation Jun 21, 2022
Python 18 TCP connection (from inverter) and MQTT implementation Aug 29, 2022
Python 2 TCP connection (from inverter) and MQTT implementation Jun 11, 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