A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
☆30Mar 13, 2019Updated 6 years ago
Alternatives and similar repositories for steak
Users that are interested in steak are comparing it to the libraries listed below
Sorting:
- slides of zju-lambda☆14Feb 9, 2019Updated 7 years ago
- An untyped lambda calculus machine designed in FPGA.☆15Sep 22, 2018Updated 7 years ago
- A Regex engine which is implemented in a traditional way and able to generate graphics of finite automation.☆10May 3, 2018Updated 7 years ago
- cuda based raytracer, if not cooing.☆11Jan 13, 2019Updated 7 years ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Sep 9, 2018Updated 7 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- ☆19Dec 25, 2017Updated 8 years ago
- This is the home page of the finite element application ObjectiveFrame☆25Feb 18, 2026Updated last week
- A simple calculator using JavaScript, HTML5 and CSS3☆14Nov 12, 2019Updated 6 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Transformer based Translation model☆18Jun 13, 2021Updated 4 years ago
- A Lisp Interpreter Written in C++ Template☆73Dec 11, 2020Updated 5 years ago
- ☆17Jan 3, 2025Updated last year
- tiger compiler☆10May 6, 2018Updated 7 years ago
- A repository to review the main concepts about Functional Programming with Java☆10Feb 16, 2026Updated 2 weeks ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated this week
- Create generative art by using the sharp and node js☆11Mar 3, 2022Updated 3 years ago
- Some papers on Knowledge Graph Embedding(KGE)☆13Aug 16, 2022Updated 3 years ago
- Import entities from another Wikibase instance (e.g. Wikidata)☆13May 21, 2023Updated 2 years ago
- An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…☆42Jul 13, 2025Updated 7 months ago
- DevCycle - Flutter Client SDK☆13Feb 16, 2026Updated 2 weeks ago
- TOML v0.4.0 parser and encoder☆12Oct 23, 2019Updated 6 years ago
- A solver library for picross / nonogram puzzles in C++☆10Feb 25, 2025Updated last year
- The TextWorld KG Dataset from the paper Building Dynamic Knowledge Graphs from Text-based Games☆10Mar 11, 2020Updated 5 years ago
- Providing wrapper types for safely performing panic-free checked arithmetic on instants and durations.☆17Feb 7, 2026Updated 3 weeks ago
- ☆10Dec 31, 2018Updated 7 years ago
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 5 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- Methods for the manipulation of geometric data, grid generation, and visualization formatting.☆13Jan 28, 2026Updated last month
- Offline Shader Editor based on wxWidgets☆11Jan 12, 2021Updated 5 years ago
- Functional stateful React components with sideEffect support☆19Jan 31, 2019Updated 7 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- The Coding Space Projects☆13Feb 18, 2026Updated last week
- Haskell Hoogle search in Visual Studio Code☆13Sep 9, 2018Updated 7 years ago
- ☆10May 24, 2021Updated 4 years ago
- Syntactic sugars for C++ developers to write Go-like code☆10Jul 30, 2022Updated 3 years ago
- Dumps Oracle OCI function calls issued by Oracle client applications.☆17Jul 21, 2024Updated last year
- cfid: R package for identifying counterfactuals.☆11Dec 11, 2025Updated 2 months ago