Crux Programming Language
☆53Oct 2, 2026Updated 2 weeks ago
Alternatives and similar repositories for crux
Users that are interested in crux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ende is a hypothetical programming language.☆23Oct 19, 2020Updated 5 years ago
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.☆29Apr 9, 2015Updated 11 years ago
- Comparison of selected serialization formats☆20Dec 22, 2017Updated 8 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Sep 8, 2015Updated 11 years 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.
- Erlang flavored by Some ML☆36Jan 14, 2012Updated 14 years ago
- Official compiler for the Nany Programming Language {read-only mirror from gitlab}☆12May 26, 2018Updated 8 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- Haskell Library to Parse MS Excel (.xls format)☆16Sep 7, 2026Updated last month
- Very simple job scheduler for Haskell☆10Aug 23, 2012Updated 14 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 6 years ago
- The world's first browser dedicated to loading websites written in QML!☆13Nov 27, 2015Updated 10 years ago
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 5 years ago
- A pragmatic, functional systems programming language.☆43May 18, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An Unlambda Interpreter and REPL☆11Sep 27, 2018Updated 8 years ago
- ☆14Jul 7, 2014Updated 12 years ago
- Example Integration for Embedding Rust in Haskell☆35Sep 11, 2018Updated 8 years ago
- A X11 based context/productivity tool written in V☆13Mar 12, 2023Updated 3 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- ☆12Apr 28, 2025Updated last year
- an experimental programming language for the erlang vm that is actually useful☆29Aug 23, 2019Updated 7 years ago
- Distributed programming language that desugars to Morte☆94Sep 4, 2022Updated 4 years ago
- Manipulating Common Intermediate Language AST in Haskell☆22Nov 12, 2016Updated 9 years 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.
- The Alms Programming Language☆43Aug 29, 2018Updated 8 years ago
- ☆16Aug 7, 2014Updated 12 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Mar 19, 2016Updated 10 years ago
- A lazy non-deterministic concatenative programming language☆56Aug 3, 2013Updated 13 years ago
- Prover9 is a resolution and paramodulation-based theorem prover for first-order and equational logic, and Mace4 searches for finite count…☆22Aug 13, 2026Updated 2 months ago
- http terminal based on butterfly☆18Sep 6, 2016Updated 10 years ago
- Salvia - Modular Haskell HTTP server.☆24Sep 4, 2010Updated 16 years ago
- A hobby language that compiles to WebAssembly☆29Jun 9, 2025Updated last year
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Jan 15, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Online version of GHCi that supports safely executing untrusted code.☆26Jan 11, 2016Updated 10 years ago
- Implementation of the Shirka programming language☆19Aug 16, 2013Updated 13 years ago
- A tiny language for teaching and experimenting with Refinement Types☆50Jun 22, 2021Updated 5 years ago
- atomo programming language☆16Oct 26, 2014Updated 11 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Mar 22, 2018Updated 8 years ago
- A language for code golf.☆25Aug 26, 2013Updated 13 years ago
- Library and utility for processing cabal's plan.json file☆43Sep 27, 2026Updated 3 weeks ago