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
3
results
for source starred repositories
written in Ada
Clear filter
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes