Reference definition for the HULK language.
☆22Mar 10, 2026Updated 4 months ago
Alternatives and similar repositories for hulk
Users that are interested in hulk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An AI-powered assistant for your terminal and editor☆57Jul 13, 2026Updated last week
- Online grader for competitive programming that lives in https://matcomgrader.com/☆18Jul 1, 2026Updated 2 weeks ago
- API for Covid19CubaData☆12Apr 12, 2020Updated 6 years ago
- A Telegram bot that you can log to from Python and manage long running processes.☆27Dec 8, 2022Updated 3 years ago
- Application for mobile devices of the Cuba Weather project implemented with Flutter☆29Feb 12, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Latex template for students thesis of MatCom☆28Dec 16, 2023Updated 2 years ago
- A Python framework for program synthesis with a focus on Automated Machine Learning.☆215Jun 15, 2026Updated last month
- An HTML+CSS+JS generator from pure Python code☆86Jun 17, 2026Updated last month
- 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.☆14Feb 26, 2024Updated 2 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- A Python environment management tool based on Docker☆16Sep 18, 2021Updated 4 years ago
- Simple Set-Theoretic Types library☆18Updated this week
- Like the Programming Languages Zoo but with esoteric languages.☆25May 22, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple parser combinator library for Ocaml☆30Aug 21, 2021Updated 4 years ago
- Mostly Automated setup to deploy k3s and additional services on your home cluster☆11Jul 13, 2026Updated last week
- Streamlit AI story generator with multi-step LLM prompting, local OpenAI-compatible models, and OpenRouter support.☆16Jun 18, 2026Updated last month
- Tool for bloggers that helps them make their blogs more interesting and engaging.☆16Nov 10, 2022Updated 3 years ago
- A Pythonic library for scientific visualization in SVG☆21Jul 2, 2026Updated 2 weeks ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆28Feb 16, 2026Updated 5 months ago
- Coherence typechecker for infinity categories☆21Jun 7, 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 reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Monad-based linear types in OCaml, with a few syntax extensions☆38Oct 21, 2019Updated 6 years ago
- LMNtal Compiler☆25Mar 18, 2026Updated 4 months ago
- A simple exam generator and grader written in Python with OpenCV☆14Jan 14, 2026Updated 6 months ago
- A list of datasets for machine learning related tasks☆23Dec 1, 2016Updated 9 years ago
- Generates AIML Markup from Excel Files☆12Sep 16, 2014Updated 11 years ago
- Write in Jupyter Notebooks. Publish anywhere.☆23Mar 20, 2026Updated 4 months ago
- Unboxed arrays for OCaml☆26Jul 28, 2014Updated 11 years ago
- A Mock SMTP server for testing software☆15Jul 1, 2021Updated 5 years ago
- Virtual camera using v4l2-loopback driver☆16Nov 4, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python API for the Canon Ivy 2 mini photo printer☆17Mar 4, 2025Updated last year
- Powerful setup for AI-powered repositories☆22Apr 2, 2026Updated 3 months ago
- An open source SMS gateway for your own devices☆39Updated this week
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 5 years ago
- ☆13May 28, 2021Updated 5 years ago
- A template for generating Linux AppImage projects with Briefcase☆22Jul 8, 2026Updated last week
- Example of how to use Flask Login without ORM.☆11Apr 26, 2022Updated 4 years ago