A compiler and bytecode interpreter for a subset of Python
☆10Jan 23, 2021Updated 5 years ago
Alternatives and similar repositories for opythn
Users that are interested in opythn are comparing it to the libraries listed below
Sorting:
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆13Dec 2, 2025Updated 3 months ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…☆13Aug 8, 2020Updated 5 years ago
- An interactive tool for experimenting with LR(1) grammars☆20Feb 8, 2022Updated 4 years ago
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated 9 months ago
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Home-Assistant Custom Component to read data from ryd (formaly Tanktaler)☆10Feb 3, 2024Updated 2 years ago
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- Compile OCaml to standalone ANSI C file☆45Dec 7, 2025Updated 2 months ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Feb 13, 2020Updated 6 years ago
- NES emulator in OCaml☆43Jul 21, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 18, 2026Updated last week
- Sources of the EuroProofNet web site.☆13Updated this week
- SIGPLAN website☆13Feb 23, 2026Updated last week
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- An intermediate representation language for JITs☆13Updated this week
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- pdfcli is a CLI tool for manipulating PDFS from the command line.☆13Dec 8, 2022Updated 3 years ago
- Cellular automata environment written in Common Lisp☆17Apr 17, 2021Updated 4 years ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆13Nov 17, 2022Updated 3 years ago
- elasticsearch中文分词库整理☆10Nov 28, 2019Updated 6 years ago
- A simple PNaCl app (in Rust!) that prints "Hello, world!" on Chrome's developer console.☆13Apr 19, 2015Updated 10 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- G'n'T Eval is an evaluation suite that allows to carry out pen and paper evaluations. It ships with all necessary tools, i.e. management …☆14Nov 2, 2013Updated 12 years ago
- ☆11Aug 24, 2016Updated 9 years ago
- site for projects and notes☆10Apr 2, 2024Updated last year
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11May 29, 2021Updated 4 years ago