Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
47,133 repositories indexed
169–180 of 180 · Most stars
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
Mobile Deep Learning Projects, published by Packt
Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.
:orange_book: Economics Textbook (Openstax)
Comprehensive guides to GTFS and GTFS Realtime
An interactive Swift Playground Book about Binary Search Trees (WWDC 2017 Scholarship winner)
A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.
This is the companion repo for Go Succinctly by Amir Irani.
Chapter 4: Stock Tracking app with Ionic 2 and Yahoo API
Common Lisp The Language Second Edition
A Swift Playground for the Wikibook "Creating a Virtual Machine" by Jeffrey Meunier
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)