Statistics for language Racket
RepositoryStats tracks 584,777 Github repositories, of these 127 are reported to use a primary language of Racket.
Most starred repositories for language Racket (view more)
Trending repositories for language Racket (view more)
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar
Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar
Exercises for course "Principles of Programming Languages" @ Polimi '23, '24