Shortest Racket Code Collection
☆18Jun 18, 2017Updated 8 years ago
Alternatives and similar repositories for Structure-and-Interpretation-of-Computer-Programs
Users that are interested in Structure-and-Interpretation-of-Computer-Programs are comparing it to the libraries listed below
Sorting:
- ☆13Jul 1, 2018Updated 7 years ago
- This repo would serve as an interface between the different clients and the platform. For API information please refer to the fabric8-ana…☆12Apr 13, 2023Updated 2 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- Code for the SIGMOD 2018 programming contest. Finished at 2nd place.☆13Jun 6, 2018Updated 7 years ago
- 8 labs of course Introduction to Computer System☆10Jun 17, 2014Updated 11 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- Solução implementada em PHP para a rinha de backend 2025.☆13Aug 18, 2025Updated 6 months ago
- ☆11Jun 13, 2021Updated 4 years ago
- my home around the internet☆11Oct 4, 2024Updated last year
- Istio inspired 'http based onverlay network env'.☆14Jan 5, 2024Updated 2 years ago
- A false sharing detection and repair tool☆14Jan 31, 2026Updated last month
- 使用WebGL和Node.js技术构建复旦三维社交网络。目前实现了校园模型demo显示，多用户在线聊天。☆12Jun 12, 2015Updated 10 years ago
- SKI virtual machine for testing concurrency bugs☆13Nov 25, 2015Updated 10 years ago
- record daily learning☆11Aug 13, 2019Updated 6 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 9 years ago
- libegl with Wayland extensions for OpenGL/ES library☆17Apr 22, 2016Updated 9 years ago
- The Click modular router: fast modular packet processing and analysis☆10Sep 13, 2017Updated 8 years ago
- ☆11May 11, 2021Updated 4 years ago
- WebR2sync+☆12Mar 20, 2017Updated 8 years ago
- BESPOKV: Application-Tailored Flexible Key-Value Store for HPC☆12Aug 28, 2018Updated 7 years ago
- Transparency for Web Services☆20Jan 6, 2018Updated 8 years ago
- Mirror of Apache Hadoop common☆15Dec 19, 2020Updated 5 years ago
- Full Hopping Channels, Uplink and Downlink GSM receiver base on Airprobe☆37Dec 21, 2018Updated 7 years ago
- ☆15Feb 6, 2024Updated 2 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- Repo containing problem set solutions and other resources associated with Stanford’s course CS224d: Deep Learning for Natural Language Pr…☆15Jan 22, 2017Updated 9 years ago
- Some Compression streams (gzip, snappy, lz4) implementing the ZeroCopy Interface from Google(TM) protobuf 2.4.1☆19Apr 30, 2013Updated 12 years ago
- A toy kernel in rust☆14Dec 18, 2016Updated 9 years ago
- Edit, lint, debug, and run MATLAB in Emacs☆24Feb 24, 2026Updated last week
- Prototype implementation and extended paper of SDPaxos☆16Nov 30, 2018Updated 7 years ago
- an new parallel algorithm for LZ77 compression based on suffix array☆22Apr 8, 2013Updated 12 years ago
- NERDtree + ack.vim☆34Jul 6, 2018Updated 7 years ago
- ☆27Feb 9, 2026Updated 3 weeks ago
- Python wrapper for libaio☆21Nov 13, 2025Updated 3 months ago
- ☆18Sep 29, 2018Updated 7 years ago
- my solution for MIT 6.828 Fall 2014☆16Oct 30, 2016Updated 9 years ago
- java distribute/dispatch configuration with zookeeper☆12Dec 22, 2015Updated 10 years ago
- Packaging for various SprezzOS userland components☆27Oct 3, 2013Updated 12 years ago