Reference definition for the HULK language.
☆19Mar 10, 2026Updated last week
Alternatives and similar repositories for hulk
Users that are interested in hulk are comparing it to the libraries listed below
Sorting:
- Conferencias, ejemplos, notas, ejercicions, y más, sobre la asignatura Diseño y Análisis de Algoritmos☆10Jan 14, 2025Updated last year
- A Telegram bot that you can log to from Python and manage long running processes.☆27Dec 8, 2022Updated 3 years ago
- A small Den implementation written in C.☆19May 4, 2021Updated 4 years ago
- Template letter asking for a raise☆17Aug 2, 2020Updated 5 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Tool for bloggers that helps them make their blogs more interesting and engaging.☆16Nov 10, 2022Updated 3 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25May 22, 2020Updated 5 years ago
- A simple parser combinator library for Ocaml☆30Aug 21, 2021Updated 4 years ago
- All-in-one, pure-python, embedded database for relational data, documents, vectors, graphs, and events based on SQlite.☆35Dec 6, 2025Updated 3 months ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Feb 16, 2026Updated last month
- Simple Python interface to generic tty and (specifically) GSM modem devices. Includes general serial connection/chat, AT command, SMS (in…☆13Aug 6, 2016Updated 9 years ago
- A simple exam generator and grader written in Python with OpenCV☆14Jan 14, 2026Updated 2 months ago
- A list of datasets for machine learning related tasks☆21Dec 1, 2016Updated 9 years ago
- builds images, from your code.☆24Oct 11, 2018Updated 7 years ago
- Generates AIML Markup from Excel Files☆12Sep 16, 2014Updated 11 years ago
- A reflection-based proof tactic for lattices in Coq☆21Oct 15, 2023Updated 2 years ago
- extensions for Entity Framework Core☆10May 15, 2024Updated last year
- Virtual camera using v4l2-loopback driver☆16Nov 4, 2022Updated 3 years ago
- 🔔 .NET Core global CLI tool to to create toast notifications on Windows 10☆12Dec 24, 2019Updated 6 years ago
- Vonage Video API JS React reference application☆16Mar 13, 2026Updated last week
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- A template for generating Linux AppImage projects with Briefcase☆21Mar 9, 2026Updated last week
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 5 years ago
- ☆11Nov 9, 2025Updated 4 months ago
- Open all files in a folder at once, optionally filtering by a glob.☆13Oct 30, 2025Updated 4 months ago
- A toy example of a verified compiler.☆31Feb 5, 2026Updated last month
- Python 3 AsyncIO powered scraping framework with batteries included☆20Sep 8, 2016Updated 9 years ago
- ☆52Jan 30, 2026Updated last month
- A nice neat React component wrapper for CodeMirror☆16Jan 4, 2023Updated 3 years ago
- Deep neural network to extract intelligent information from invoice documents using PyTorch.☆16Aug 31, 2022Updated 3 years ago
- Cuba related geojsons☆18Apr 19, 2019Updated 6 years ago
- CuCoders | La plataforma de los programadores cubanos☆64Dec 30, 2025Updated 2 months ago
- ATS2: Unleashing the Potentials of Types and Templates☆47Dec 18, 2019Updated 6 years ago
- OCaml PPX deriver for reflection☆53Nov 16, 2022Updated 3 years ago
- Convert simple Keras models to pure Python 🐍+ NumPy☆42Jul 14, 2021Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 5 years ago
- The ultimate dotnet API to manage ETECSA nauta sessions☆16May 3, 2023Updated 2 years ago
- My themes for YSmenu firmware for cartridges R4.☆16Mar 10, 2022Updated 4 years ago