hica is a high-performance, expression-oriented programming language that transpiles to Koka
☆23Sep 19, 2026Updated last month
Alternatives and similar repositories for hica
Users that are interested in hica are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)☆13Sep 20, 2026Updated last month
- A stack-based VM with sets — a Prolog-compiled, s-expression-flavored language with static types, effect inference and basic optimization…☆22Oct 27, 2026Updated 2 weeks ago
- Koka grammar for tree-sitter☆19Feb 23, 2026Updated 8 months ago
- Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism. It compiles to the GRIN whole-pr…☆66Oct 11, 2026Updated last month
- Eselsohr is a self-hostable bookmark manager for storing web articles.☆10Oct 4, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- a better pattern matching macro for janet☆14Updated this week
- Safe, self-healing bare-metal x86-64 operating system designed for radiation-hardened aerospace systems.☆25Sep 3, 2026Updated 2 months ago
- CodinGame puzzle search☆10Sep 12, 2024Updated 2 years ago
- Realworld API backend implementation in elm☆25Mar 8, 2026Updated 8 months ago
- ☆10Oct 19, 2024Updated 2 years ago
- a less fascist fork of nim-result☆11Feb 12, 2024Updated 2 years ago
- zig-prompter is a lightweight and flexible library for building and managing interactive text-based prompts.☆26Jul 11, 2025Updated last year
- ☆21Jan 20, 2025Updated last year
- ☆15Aug 31, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- < = >☆12Jan 19, 2017Updated 9 years ago
- Logtalk 2.x development version☆14Sep 20, 2012Updated 14 years ago
- MyCompiler - A small IR for building programming languages.☆34Updated this week
- Programs written in as few characters as possible☆15Feb 14, 2019Updated 7 years ago
- A lightweight programming language built with Go.☆59Jul 9, 2026Updated 4 months ago
- An OpenGL-based GUI for Kakoune☆23Oct 6, 2026Updated last month
- Jam Programming Language☆225Updated this week
- Java library allowing for quick development of Discord bots☆21Oct 21, 2021Updated 5 years ago
- The GOSPL is a public collection of POPLOG source code that is reviewed and maintained by Stephen Leach.☆11Oct 27, 2014Updated 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- eco compiler for elm☆40Updated this week
- Orange is a modern systems programming language designed for developers who want fine-grained control without sacrificing expressiveness☆27Jul 21, 2026Updated 3 months ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆15Jun 2, 2025Updated last year
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆13Jan 20, 2023Updated 3 years ago
- glyph-based language that transpiles to python (for now…)☆26Sep 6, 2026Updated 2 months ago
- The Handheld Music Studio for Playdate☆12Aug 25, 2026Updated 2 months ago
- Simple TTF rasterizer☆11Mar 29, 2020Updated 6 years ago
- s7 Scheme library☆12Mar 16, 2025Updated last year
- Chrome extension for Hit-a-Hint☆14May 7, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- "Strand" is an open-source implementation of the identically named parallel Prolog dialect as described in the book "Strand: New Concepts…☆14Apr 27, 2021Updated 5 years ago
- LLM-agnostic pair-programming CLI workflows. Like Codex, Claude Code, or Cursor unwrapped for Vi-friendly integration.☆16Updated this week
- A collection of articles about the Factor programming language☆12Apr 1, 2022Updated 4 years ago
- VSCode extension that adds the ability to go to only method symbols declared in the active document☆16Dec 7, 2022Updated 3 years ago
- Mix task that analyzes your xref graph to find modules causing excessive recompilation, and helps you fix them.☆24Mar 25, 2026Updated 7 months ago
- Write TAP tests with SWI-Prolog☆13Jan 19, 2023Updated 3 years ago
- files from cl directory of parcftp about 2014☆12Jan 16, 2024Updated 2 years ago
Are these results useful?