Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


noms-db - Database

< >

noms-db is a database created in 2015.

#638on PLDB 8Years Old 8.3kUsers
0Books 0Papers

Noms is a decentralized database philosophically descendant from the Git version control system.

cryptol.html 路 noms-db.html 路 aldor.html

View source

- Build the next great programming language Search Day 213 About Blog Acknowledgements Traffic Traffic Today GitHub