Lists (32)
BBEdit
1 repository
C++
1 repository
CSS
3 repositories
Data Streams
8 repositories
Databases
1 repository
Distributed-Systems
1 repository
GenAI-LLM
56 repositories
go
1 repository
Golang
8 repositories
HTMX
2 repositories
KAN
1 repository
Languages
2 repositories
Literate Programming
1 repository
ML
3 repositories
Nim
12 repositories
NixOS
1 repository
Observability Pipeline
3 repositories
Obsidian
3 repositories
OCaml
3 repositories
OLAP
1 repository
Ollyver
1 repository
Programming Languages
2 repositories
Project Ideas
Recreate this in a more palatable framework etc.1 repository
Python
good and interesting python things16 repositories
Rust
12 repositories
Self Hosting
4 repositories
Supabase
1 repository
Tools
2 repositories
Typescript
interesting typescript projects1 repository
Typesetting
4 repositories
UI
WASM
1 repository
Starred repositories
4
results
for source starred repositories
written in Idris
Clear filter
xmonad with the X11 abstracted and configured with Idris
Implementation of cryptographic primitives using Idris
Idris Lib to interact with the DOM and Browser API for the JavaScript backend
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.