Reason layer around reason-mode for Spacemacs
☆12Aug 31, 2018Updated 7 years ago
Alternatives and similar repositories for reason
Users that are interested in reason are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Literals for Zarith's arbitrary-precision integers and rationals☆13Aug 18, 2022Updated 3 years ago
- Auto generate decoders for OCaml☆10Dec 19, 2024Updated last year
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- Our GitHub Actions runner (Runs our tests in a Firecracker VM)☆22Updated this week
- BuckleScript bindings for Moment.js☆54Jul 19, 2023Updated 2 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.
- Command-line JSON processor using nix as query language☆21May 11, 2025Updated last year
- an example airship app☆14Jul 14, 2016Updated 9 years ago
- OCaml bindings to Google Cloud Platform APIs☆26Mar 5, 2026Updated 2 months ago
- Minimal cross-platform LSP wrapper for merlin☆29Mar 3, 2019Updated 7 years ago
- ☆49Feb 18, 2018Updated 8 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- NetBricks: A new network function framework based on Rust.☆12Jan 2, 2026Updated 4 months ago
- Make OCaml Errors Great Again.☆13Nov 20, 2018Updated 7 years ago
- Dark, low contrast theme with muted, soft colors.☆13Jan 23, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A mailbox based distributed computing library☆84May 9, 2014Updated 12 years ago
- ☆11May 26, 2020Updated 6 years ago
- Collection of mini-projects on practical aspects of reason-react☆17May 11, 2021Updated 5 years ago
- A set of reusable ReasonReact hooks.☆31Jul 30, 2020Updated 5 years ago
- ☆35Sep 25, 2020Updated 5 years ago
- A simple permissions library in Clojure☆12Apr 10, 2021Updated 5 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Apr 1, 2016Updated 10 years ago
- Compiles wisp expressions to Javascript in your Clojure project☆12Dec 30, 2018Updated 7 years ago
- prototype for standardizing indentation in clojure files☆12Aug 5, 2024Updated last year
- 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.
- Formalization of CBPV extended with effect and coeffect tracking☆16Aug 30, 2024Updated last year
- ☆19Jan 28, 2015Updated 11 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Trees where leaves are located both in time and space☆15Mar 25, 2021Updated 5 years ago
- A Minimalist Modal Editing Mechanism for Emacs☆19Dec 6, 2025Updated 5 months ago
- Generate reason react bindings from edn files☆10Apr 20, 2018Updated 8 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- Elixir implementation of Shamir's Secret Sharing☆14Oct 28, 2019Updated 6 years ago
- Alexa Lambda Clojure☆12Apr 14, 2016Updated 10 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.
- malli powered code checking for Clojure☆48Oct 26, 2020Updated 5 years ago
- Soft-logic designs and HAL libraries for various subsystems found in Oxide hardware.☆22May 18, 2026Updated last week
- ☆11Sep 19, 2024Updated last year
- Valves is a collection of core.async components☆13Nov 13, 2015Updated 10 years ago
- ☆10Aug 26, 2016Updated 9 years ago
- Make rpc:calls from erlang to haskell☆17Mar 30, 2015Updated 11 years ago
- Well-typed JSON parser generator inspired by Type Provider☆16Feb 26, 2021Updated 5 years ago