Lists (25)
agents, llms, prompts
23 repositories
ai-learning
3 repositories
architecture
1 repository
backend
1 repository
cardano
3 repositories
clojure
1 repository
code something
2 repositories
command line
3 repositories
database
4 repositories
ddd
3 repositories
finance
10 repositories
for work
6 repositories
frontend-tools
1 repository
Furniture
1 repository
infrastructure
1 repository
interview
4 repositories
job runner
2 repositories
list
4 repositories
machine learning
3 repositories
nocode
1 repository
practical ai 👍
5 repositories
self hosted
1 repository
torrents
2 repositories
typography
1 repository
webassembly
1 repository
Starred repositories
2
stars
written in Idris
Clear filter
Software Foundations in Idris
Idris version of Domain Modeling Made Functional Book.