An attempt to implement the typing rules of Featherweight Java using Haskell.
☆11Aug 19, 2012Updated 13 years ago
Alternatives and similar repositories for Featherweight-Java
Users that are interested in Featherweight-Java are comparing it to the libraries listed below
Sorting:
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 3 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- ☆23Dec 7, 2021Updated 4 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- Development of the CafeOBJ interpreter☆40Nov 18, 2024Updated last year
- Code for the AAAI 2023 paper "CodeAttack: Code-based Adversarial Attacks for Pre-Trained Programming Language Models☆35Apr 18, 2023Updated 2 years ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 4 months ago
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago
- How to implement trampolines for tail calls in Python☆32Feb 14, 2014Updated 12 years ago
- ☆12May 24, 2025Updated 9 months ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆28Feb 20, 2026Updated last week
- WorldPalette is a Maya plugin based on the 2015 SIGGRAPH paper, WorldBrush: Interactive Example-based Synthesis of Procedural Virtual Wor…☆11May 10, 2021Updated 4 years ago
- Profitable MT5 Expert Advisors☆21Updated this week
- A tool to add fund to WatCard easily.☆10Mar 27, 2023Updated 2 years ago
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- Text & sentiment analysis of WhatsApp chat data.☆10Feb 3, 2020Updated 6 years ago
- The set of released emails of Jeffrey Epstein processed into an Obsidian Vault using the Obsidian Importer plugin an Claude Code.☆25Nov 15, 2025Updated 3 months ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- MVP for updated PEP 543 proposal☆14Feb 13, 2026Updated 2 weeks ago
- tiger compiler☆10May 6, 2018Updated 7 years ago
- Vocal Prism — Privacy-first, local AI audio transcription for macOS (Whisper → CoreML, Apple Silicon‑optimized).☆27Jan 15, 2026Updated last month
- Runtime type information for JavaScript and TypeScript programs☆10Jun 16, 2024Updated last year
- Maven plugin that talks to docker-compose command-line interface☆13Feb 5, 2023Updated 3 years ago
- ☆20Jun 29, 2022Updated 3 years ago
- This is an API created using NodeJS, MongoDB, ExpressJS. This is a clone of facebook's group API☆15Jan 6, 2023Updated 3 years ago
- A non-normative turtle-formatted ontology version of the Activity Streams 2.0 vocabulary☆11Dec 10, 2023Updated 2 years ago
- Fully Local Push-to-Transcribe☆18Nov 6, 2025Updated 3 months ago
- **NOTE**: This is outdated and no longer maintained. There's a new version at https://github.com/zeek/spicy.☆41Aug 22, 2017Updated 8 years ago
- Advent of Code 2017☆40Dec 27, 2018Updated 7 years ago
- A collaborative bibliography of papers related to property-based testing☆16Updated this week
- A simple API for pyenv☆11Nov 16, 2022Updated 3 years ago
- Multi-arch Docker images for Idris 2☆13Feb 9, 2026Updated 2 weeks ago
- An implementation of Dijkstra in Clojure☆19Aug 7, 2012Updated 13 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- Core files for LikeMagic C++ binding library.☆11Jun 5, 2013Updated 12 years ago
- HoRNDIS DriverKit Fork☆13Jan 7, 2023Updated 3 years ago
- utils for framework☆11Mar 12, 2021Updated 4 years ago
- Cross-compile toolchain for macOS☆10Jun 11, 2022Updated 3 years ago