Pinned Repositories
idris-rbtree
Type-safe verified Red-Black Trees in Idris 2
laspad2
An alternative to launchpad for publishing mods to the steam workshop for Natural Selection 2
ninja2nix
A tool that generates a Nix derivation from a Ninja build file.
nix-build.nix
nix-build.nix with RFC 92
NixOS-lazor
NixOS modules for the Acer Chromebook Spin 513 (trogdor/lazor)
procex
Ergonomic process launching with extreme flexibility and speed (compared to shh)
waymonad
A wayland compositor based on ideas from and inspired by xmonad
coriolis
Archived: Coriolis VLSI CAD Tools have upstream Nix expressions
plutarch-core
Plutarch 2.0
plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
L-as's Repositories
L-as/procex
Ergonomic process launching with extreme flexibility and speed (compared to shh)
L-as/NixOS-lazor
NixOS modules for the Acer Chromebook Spin 513 (trogdor/lazor)
L-as/ninja2nix
A tool that generates a Nix derivation from a Ninja build file.
L-as/async_kernel
Jane Street Capital's asynchronous execution library (core)
L-as/bot-plutus-interface
Unofficial PAB implementation
L-as/CIPs
L-as/copilot-rs
Copilot LSP implementation in Rust
L-as/developer-portal
The Cardano Developer Portal
L-as/flat
Principled and efficient binary serialization
L-as/generic-singletons-very-wip-dont-use
L-as/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
L-as/glfw
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
L-as/halo2
L-as/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
L-as/haskell.nix-test
L-as/HsOpenSSL
OpenSSL binding for Haskell
L-as/Idris2
A purely functional programming language with first class types
L-as/kak-lsp
Kakoune Language Server Protocol Client
L-as/language-ninja
A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
L-as/nix
Nix, the purely functional package manager
L-as/nixpkgs
Nix Packages collection
L-as/plutip
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
L-as/plutus
The Plutus language implementation and tools
L-as/plutus-apps
The Plutus application platform
L-as/plutus-simple-model
Unit testing with resource estimation for Plutus
L-as/rfcs-1
The Nix community RFCs
L-as/Shrinker
Shrink Plutus scripts
L-as/singletons-ski
L-as/stark-anatomy
Tutorial for STARKs with supporting code in python
L-as/wasm-c-api
Wasm C API prototype