Reference definition for the HULK language.
☆23Mar 10, 2026Updated 6 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:
- Conferencias de Programación para 1er año de CC☆85Updated this week
- The Full-Stack Web Framework for Pythonistas☆13Jul 19, 2026Updated 2 months ago
- Unobtrusive literate programming experience for pragmatists☆19Jul 18, 2025Updated last year
- Latex template for students thesis of MatCom☆28Dec 16, 2023Updated 2 years ago
- A SKI combinators interpreter written in assembly☆21Jul 25, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Like the Programming Languages Zoo but with esoteric languages.☆26May 22, 2020Updated 6 years ago
- Awesome list of Cuban opensource projects. Just to know what is being openly developed in Cuba.☆203Feb 10, 2024Updated 2 years ago
- A simple parser combinator library for Ocaml☆30Aug 21, 2021Updated 5 years ago
- A small Den implementation written in C.☆19May 4, 2021Updated 5 years ago
- Tiny performant library for extracting the critical CSS.☆10Jul 16, 2026Updated 2 months ago
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 6 months ago
- Coherence typechecker for infinity categories☆21Aug 17, 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 10 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆39Oct 21, 2019Updated 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.
- lightweight X11 utility to dim the screen and/or keyboard backlight when idle☆36Jan 18, 2024Updated 2 years ago
- Generates AIML Markup from Excel Files☆12Sep 16, 2014Updated 12 years ago
- extensions for Entity Framework Core☆10May 15, 2024Updated 2 years ago
- Unboxed arrays for OCaml☆26Jul 28, 2014Updated 12 years ago
- GitHub Action of Covid19 Cuba Data project implemented in Python☆13May 20, 2026Updated 3 months ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 5 years ago
- https://twitter.com/mauritscorneIis☆18Jun 3, 2018Updated 8 years ago
- A painting application using Flutter☆17May 21, 2019Updated 7 years ago
- ☆11Aug 21, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 6 years ago
- A Visual Studio extension that adds a right-click context menu command that allows you to open the solution file, project file, or file i…☆13Apr 16, 2026Updated 5 months ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆28Feb 16, 2026Updated 7 months ago
- Cuba related geojsons☆20Apr 6, 2026Updated 5 months ago
- A cyclic theorem prover framework.☆34Aug 31, 2026Updated 2 weeks ago
- Lightweight Module for Asynchronous Event Driven Systems☆19Feb 8, 2023Updated 3 years ago
- A toy example of a verified compiler.☆32Apr 7, 2026Updated 5 months ago
- Open all files in a folder at once, optionally filtering by a glob.☆13Jul 17, 2026Updated 2 months ago
- An early draft of a PEP around Exception Groups in Python☆23Feb 19, 2021Updated 5 years 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.
- Execute a script and restart it whenever it crashes or a watched file changes.☆16Jul 16, 2026Updated 2 months ago
- Event channels for React☆27Oct 19, 2023Updated 2 years ago
- An easy-to-use library to extract indices from texts.☆31Sep 7, 2021Updated 5 years ago
- NES emulator in OCaml☆43Apr 30, 2026Updated 4 months ago
- Configurable Axios Interceptor to retry failed http calls.☆18Apr 4, 2019Updated 7 years ago
- Deep neural network to extract intelligent information from invoice documents using PyTorch.☆16Aug 31, 2022Updated 4 years ago
- CuCoders | La plataforma de los programadores cubanos☆67Apr 28, 2026Updated 4 months ago