operating-function / pallasLinks
An event sourced, purely functional application platform.
☆62Updated 10 months ago
Alternatives and similar repositories for pallas
Users that are interested in pallas are comparing it to the libraries listed below
Sorting:
- Collection of Kind2 programs and proofs☆12Updated last year
- A minimal proof checker.☆78Updated last year
- ☆71Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 3 months ago
- A minimal decentralized computer.☆117Updated 3 years ago
- ⚗️ | λC pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.☆61Updated this week
- ☆64Updated 10 months ago
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆65Updated last year
- A Categorical View of Computation☆34Updated 3 weeks ago
- Linear lens☆21Updated last year
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- Manage your PureScript projects with Nix!☆79Updated 3 weeks ago
- Nix support for the Unison programming language☆69Updated 3 weeks ago
- LLM-powered typed-holes☆51Updated 8 months ago
- ☆16Updated 2 years ago
- ☆120Updated last year
- A structural editor for JSON values☆77Updated 3 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Updated 4 years ago
- ☆16Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆44Updated 2 months ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆108Updated this week
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A functional programming language with shell scripting capabilities☆131Updated last month
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated 2 years ago
- Uncompromisingly safe money library☆62Updated last month
- Turn opam-based OCaml projects into Nix derivations☆148Updated last month
- ☆24Updated last year
- Unison Share's backend server☆31Updated last week
- Bootstrap a Linux build VM on macOS☆77Updated 3 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated this week