Untyped Multistack Concatenative Calculus
☆11Feb 25, 2022Updated 4 years ago
Alternatives and similar repositories for umcc
Users that are interested in umcc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dawn Phase 1 proto-language☆37Apr 23, 2021Updated 5 years ago
- Untyped Concatenative Calculus☆19Dec 25, 2021Updated 4 years ago
- For hosting ATS3 and developing CodeDepot☆19Updated this week
- Markdown renderer and other site generator tools.☆15Aug 15, 2026Updated 2 months ago
- A tiling window manager for Wayland, written and configured in Haskell.☆17Jul 2, 2026Updated 3 months ago
- 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.
- An experiment at creating an translation library for use with Zig.☆18Dec 15, 2024Updated last year
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 6 years ago
- Earley parsing algorithm implementation in Haskell including a CFG definition API☆13Sep 26, 2011Updated 15 years ago
- A simple unofficial language server for the zig programming language.☆12May 12, 2020Updated 6 years ago
- ☆22Jun 6, 2022Updated 4 years ago
- ☆16Jun 7, 2026Updated 4 months ago
- GUI Application to manage Stubby written in Qt☆17Sep 25, 2020Updated 6 years ago
- Flexible static site generator library with incremental rebuilds and cached image optimization☆21Oct 18, 2026Updated last week
- 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.
- Main Unison website☆13Oct 9, 2026Updated 2 weeks ago
- Static Site Generation for roc☆10Updated this week
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 6 years ago
- ☆15Updated this week
- Clojure alias sharing☆13Jan 13, 2019Updated 7 years ago
- The Rocq Prover bot☆30Oct 16, 2026Updated last week
- The Eigenharp software (community)☆21Sep 28, 2026Updated 3 weeks ago
- Patching micro lib for Clojure☆10Oct 3, 2026Updated 3 weeks ago
- A Roc package for parsing ISO Date/Time strings. 📆⏰📦☆11May 15, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Utilities for scanning and updating data structures☆13Oct 16, 2026Updated last week
- Conversion tool for transforming markdown text files to DocBook/HTML documents. Project is based on XSLT 2.0 technology.☆23Apr 12, 2018Updated 8 years ago
- Haskell bindings to Advent of Code REST API☆16Sep 29, 2026Updated 3 weeks ago
- ☆14Aug 23, 2026Updated 2 months ago
- Integrates the pg_search Postgres extension by ParadeDB into Laravel☆15Aug 10, 2026Updated 2 months ago
- [Mirror] My Nix-based system and home environment dotfiles.☆18Sep 30, 2026Updated 3 weeks ago
- A BepInEx plugin used to dump the internal JSON files GTFO uses as raw text among other things☆12Mar 9, 2026Updated 7 months ago
- Cloud Cup is a high-performance, lightweight reverse proxy built for Linux in Zig☆28May 12, 2026Updated 5 months ago
- An seL4 reference webserver application☆11Jul 22, 2026Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Starter web app using roc, htmx, tailwindcss☆14Jan 24, 2025Updated last year
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 4 years ago
- Trees where leaves are located both in time and space☆15Mar 25, 2021Updated 5 years ago
- Description and code for a keybase-powered messenger☆13May 29, 2014Updated 12 years ago
- A native Clojure re-implementation of FIGlet — the classic ASCII art text renderer.☆12Mar 26, 2026Updated 6 months ago
- process html files through juice to inline CSS☆11Nov 30, 2016Updated 9 years ago