operating-function / pallas

Related projects ⓘ

Alternatives and complementary repositories for pallas

• HigherOrderCO / kindbook
  ☆33Updated this week
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated 9 months ago
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆57Updated last month
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆14Updated 3 years ago
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆111Updated this week
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 4 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆41Updated 2 months ago
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆54Updated last week
• Gabriella439 / haskell-flake
  Flake template for Haskell repository
  ☆21Updated last month
• BeFunctional / haskell-rust-ffi
  ☆14Updated last year
• lexi-lambda / shattered-plans
  ☆34Updated last year
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 10 months ago
• purifix / purifix
  The PureScript Package Manager in Nix
  ☆55Updated last week
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆41Updated 10 months ago
• utdemir / nixlisp
  ☆63Updated 3 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• NorfairKing / nix-does-not-guarantee-reproducibility
  ☆57Updated last year
• matthunz / view-monad
  ☆24Updated 4 months ago
• chiroptical / snail
  A programming language for gastropods
  ☆12Updated 5 months ago
• VictorTaelin / bend_program_search_example
  A simple example on how Bend could be used to accelerate program search in a near future
  ☆16Updated 4 months ago
• juspay / flakular.in
  MOVED TO https://github.com/nixos-asia/website and https://github.com/flake-parts/community.flake.parts
  ☆19Updated 11 months ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated last year
• purs-nix / purs-nix
  Manage your PureScript projects with Nix!
  ☆71Updated 2 months ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• masaeedu / nix-optics
  ☆35Updated 3 years ago
• kajetansw / purescript-react-vite-starter
  This is a starter project for everyone who'd like to start with PureScript with React and Vite as a tool for your dev server and build.
  ☆27Updated 2 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated last week