tssm / .config
UNIX is my IDE and Neovim my Emacs
☆12Updated 3 weeks ago
Alternatives and similar repositories for .config:
Users that are interested in .config are comparing it to the libraries listed below
- Prototype for https://github.com/Innf107/vega☆19Updated 8 months ago
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆58Updated 5 months ago
- ☆44Updated last year
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆69Updated 3 months ago
- A library with an encoding of higher kinded types in OCaml☆40Updated 5 months ago
- Search Hoogle from Rofi☆27Updated last year
- Beginnings of a Postgres client for Idris 2☆18Updated 4 months ago
- Single Page Web Applications in Idris☆25Updated 6 months ago
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- Package manager for Idris☆35Updated 2 years ago
- Simple configuration and extra tools for NVIM + LSP + Idris2☆47Updated 4 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 6 months ago
- ☆20Updated 5 months ago
- Source code for haskle.net☆30Updated last year
- Messing around with delimited continuations, fibers, and algebraic effects☆15Updated 3 years ago
- Unison Share's backend server☆24Updated this week
- Flake template for Haskell repository☆34Updated 6 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Build a simple Halogen app using Nix☆25Updated 2 years ago
- Javascript DOM bindings for Idris2☆52Updated 10 months ago
- A structural editor for JSON values☆77Updated 2 years ago
- A programming language for gastropods☆11Updated 10 months ago
- How do you do that recursive GADT thing again?☆27Updated last year
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 3 months ago
- Build OCaml projects with Nix.☆56Updated 3 weeks ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆17Updated 10 months ago
- ☆35Updated 3 years ago
- Add early return to any do-expression☆46Updated 3 years ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- The PureScript Package Manager in Nix☆57Updated 3 months ago