Just a little toy System F interpreter, doesn't even have proper generics yet.
☆12Jun 22, 2020Updated 5 years ago
Alternatives and similar repositories for jsystemf
Users that are interested in jsystemf are comparing it to the libraries listed below
Sorting:
- The Ixy user space network driver ported to Java 12☆22Feb 13, 2021Updated 5 years ago
- A Super Chip 8 assembler☆27Jan 16, 2025Updated last year
- ☆11Dec 21, 2023Updated 2 years ago
- Incremental 3D Delaunay Tetrahedralization☆14Jul 21, 2024Updated last year
- Creating a sliding card wallet layout for Android.☆11Oct 27, 2021Updated 4 years ago
- Simple to use swipe gestures for an Android RecyclerView☆10May 20, 2025Updated 9 months ago
- The small, fast game engine for Compose Multiplatform☆10Feb 1, 2025Updated last year
- ☆22Feb 19, 2026Updated last week
- ArcanisCMS☆11Mar 1, 2025Updated 11 months ago
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- Manage sqlite databases in android with ease☆10Nov 20, 2020Updated 5 years ago
- Resumable exceptions and delimited continuations for JVM☆44May 2, 2025Updated 9 months ago
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10May 13, 2016Updated 9 years ago
- An AX-first (AI/Agent Experience) Kotlin multiplatform testing library with power-assert compatible assertions DSL and other testing good…☆16Feb 11, 2026Updated 2 weeks ago
- Mantella spell mod for Skyrim VR / AE / SE☆16Dec 15, 2025Updated 2 months ago
- deprecated: C++ sanctuary for small but powerful and frequently required, stand alone features.☆16Jan 24, 2018Updated 8 years ago
- Classic Books (Including Statistics, Data Science etc.)☆13Dec 26, 2019Updated 6 years ago
- gradle java spi plugin, support scala, link https://github.com/delphyne/gradle-serviceloader-manifest☆10Jan 23, 2025Updated last year
- OS X kernel extension for reading MSRs (Model Specific Registers)☆12Sep 27, 2016Updated 9 years ago
- This is a collection of Viruses and Worms for Malware Researchers it forms a good backbone from malware back in the day to some recent on…☆11Aug 26, 2014Updated 11 years ago
- Add full support for the DDS format in Krita. Support Windows/Linux/macOS☆15Nov 3, 2024Updated last year
- Simple JACK synth experiment☆13Aug 3, 2019Updated 6 years ago
- A library for simplifying training with multi gpu setups in the HuggingFace / PyTorch ecosystem.☆16Jan 9, 2026Updated last month
- Port of tasbot to linux☆10Apr 25, 2013Updated 12 years ago
- An extended version of Scala's scaladoc command☆21Jul 2, 2011Updated 14 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- Single Header scripting language made from scratch!☆11Nov 13, 2020Updated 5 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- Ticketed lock synchronization primitive☆11Jan 25, 2021Updated 5 years ago
- ☆12Apr 3, 2018Updated 7 years ago
- Snapshot of the April 2000 XSOC/xr16 Project Beta 0.93, collateral for Jan Gray's series "Building a RISC System in an FPGA" published in…☆12Jan 7, 2023Updated 3 years ago
- Pocket sized Altair 8800 clone, with blinking lights.☆11Nov 26, 2021Updated 4 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Apr 16, 2024Updated last year
- Computer-generated music using simple Python code☆11Mar 24, 2015Updated 10 years ago
- Implementation of Tyler Neylon's Locality-Specific Hash based on simplex tesselations☆28Oct 15, 2011Updated 14 years ago
- DragonNest .pak extraction via quickbms script☆16May 18, 2015Updated 10 years ago
- Package hdiutil implements a macOS hdiutil command wrapper.☆13May 22, 2019Updated 6 years ago
- Java DSL for SQL☆10Aug 5, 2015Updated 10 years ago