Python module for composing computations
☆26Mar 19, 2025Updated 11 months ago
Alternatives and similar repositories for fpy
Users that are interested in fpy are comparing it to the libraries listed below
Sorting:
- Lisp Flavoured C++☆29Mar 12, 2021Updated 4 years ago
- Functors, Monads and Free Monads in C++☆20Jul 5, 2023Updated 2 years ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Mar 29, 2016Updated 9 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 11 months ago
- 第三次重构!☆16Dec 22, 2020Updated 5 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago
- some my implementation of content in PPA☆18Nov 3, 2020Updated 5 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Sep 9, 2018Updated 7 years ago
- Julia implementation for Python Restrain JIT☆22Mar 3, 2021Updated 5 years ago
- Just a prototype, but will be improved soon.☆22Jan 9, 2015Updated 11 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- Lua dialect in rust☆22Jun 17, 2021Updated 4 years ago
- an extensible stack based interpreter toolkit☆67Jan 6, 2021Updated 5 years ago
- 多重ディスパッチをベースとする静的型付け関数型プログラミング言語☆24Sep 2, 2019Updated 6 years ago
- Web Framework designed for cpp☆27Apr 4, 2016Updated 9 years ago
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Jan 27, 2021Updated 5 years ago
- Compile JavaScript to Native Code☆29Mar 29, 2020Updated 5 years ago
- ☆11Oct 25, 2024Updated last year
- 日本十進分類法のIME辞書☆11Dec 8, 2022Updated 3 years ago
- My Own Linear Lisp☆42Aug 24, 2018Updated 7 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- A graphical tool for viewing stdout as a spreadsheet.☆10Sep 7, 2021Updated 4 years ago
- An esoteric programming language build around macros☆42Feb 11, 2021Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Interactive, regex-based folding☆15Jun 15, 2015Updated 10 years ago
- Generator for Notation Backing Track Videos from Lilypond Files☆10Oct 23, 2024Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- A neovim plugin to add notes or comments to any buffer☆13Sep 10, 2023Updated 2 years ago
- 一个多媒体系统的桌面端☆11Feb 9, 2024Updated 2 years ago
- Blog of finesse☆13Jun 21, 2016Updated 9 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Yet another galgame☆37Jan 6, 2026Updated last month
- Experimental Vim key bindings for Godot's built-in script editor.☆10Jan 3, 2022Updated 4 years ago
- Emacs mode for Maple☆13Jan 23, 2022Updated 4 years ago