Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Repository Index
47,133 repositories indexed
97–108 of 108 · Most stars
Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.
WIP web app version of The Shortest Ember Book
- hacktoberfest
- ember
Chapter 6: Media Player with Ionic 2
Chapter 7: Social app with Firebase and Ionic 2
Comprehensive guides to GTFS and GTFS Realtime
An interactive Swift Playground Book about Binary Search Trees (WWDC 2017 Scholarship winner)
- wwdc-scholarship
- wwdc2017
- swift-playgrounds
- ipad
The repository host gives no description.
A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.
Chapter 5: Wordpress Client App with Ionic 2
Chapter 4: Stock Tracking app with Ionic 2 and Yahoo API
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)