Lists (23)
cli
11 repositories
clojure
4 repositories
db
2 repositories
ekixir
2 repositories
english
1 repository
go
41 repositories
knowledge
20 repositories
langs
17 repositories
lisp
10 repositories
logseq
3 repositories
lua
34 repositories
ml/ai
5 repositories
neovim
176 repositories
nim
2 repositories
nixos
3 repositories
notion
1 repository
posible usecase
23 repositories
rust
210 repositories
scala
1 repository
to check
15 repositories
ui
3 repositories
wasm
3 repositories
yew
3 repositories
Stars
10
stars
written in Haskell
Clear filter
A statically typed lisp, without a GC, for real-time applications.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
💥💻💥 A data-parallel functional programming language
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
A dependently-typed programming language with static memory management
A fast functional language based on two level type theory
Nix backend for PureScript. Transpile PureScript code to Nix.