ucsd-cse131-s18 / ucsd-cse131-s18.github.ioView external linksLinks
Public-facing web site for Compiler Construction, UCSD CSE Spring 2018
☆12Jul 13, 2018Updated 7 years ago
Alternatives and similar repositories for ucsd-cse131-s18.github.io
Users that are interested in ucsd-cse131-s18.github.io are comparing it to the libraries listed below
Sorting:
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- sublimetext verilog syntax highlighting☆12Sep 7, 2016Updated 9 years ago
- A data visualization library for Racket.☆38Nov 12, 2024Updated last year
- A web-based programming environment for educational robotics that supports live coding and autonomy using a hybrid blocks/text programmin…☆20Jan 13, 2025Updated last year
- A small PHP library for terminal output styling☆11Nov 6, 2021Updated 4 years ago
- This open source book is to help Django developers to learn Hotwire☆13Sep 20, 2024Updated last year
- JSON RPC v2.0 Sans I/O☆11Feb 10, 2026Updated last week
- Desktop Sanskrit-English Dictionary☆12Jul 7, 2020Updated 5 years ago
- ☆12Apr 22, 2016Updated 9 years ago
- ☆15Dec 24, 2018Updated 7 years ago
- ☆12Oct 4, 2021Updated 4 years ago
- A node-red node for the Web of Things☆10Feb 20, 2024Updated last year
- Log File analysis and visualization for Clojure☆25Apr 13, 2013Updated 12 years ago
- A tool for exploring HID devices on OS X☆10Feb 3, 2015Updated 11 years ago
- Lua binding for libSDL 2.0☆10Mar 16, 2016Updated 9 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆19Aug 19, 2025Updated 5 months ago
- Replicate Crux data into DataScript (via one-way syncing of filtered txes w/ simple full refresh if connection drops - SSE/sente demo is …☆12Feb 19, 2020Updated 5 years ago
- Qorvo QPG6xxx Matter SDK☆22Aug 27, 2025Updated 5 months ago
- A template to write your thesis in Markdown and LaTeX☆12Jul 6, 2022Updated 3 years ago
- ☆10Jun 17, 2017Updated 8 years ago
- Python Client of CodeLab Adapter v2.☆11Sep 22, 2021Updated 4 years ago
- Simple TCP<->RTU Modbus Gateway Server☆13Aug 5, 2023Updated 2 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 3 years ago
- Port of dwmstatus to Rust☆11Oct 18, 2020Updated 5 years ago
- ☆11Sep 16, 2022Updated 3 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 5 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- An example Alexa skill written in ReasonML☆11Sep 6, 2017Updated 8 years ago
- Rust HAL repp☆12Apr 25, 2022Updated 3 years ago
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- Naive implementation of w3c specs for IoT.js☆11Mar 28, 2024Updated last year
- ☆10Mar 14, 2016Updated 9 years ago
- Platform game written using the Gideros game engine☆10Feb 20, 2020Updated 5 years ago
- Clojure library that abstracts libsodium's NaCl primitives (curve25519, ed25519, blake2b, box/unbox, sign/verify, etc.)☆10Jul 4, 2016Updated 9 years ago
- Implemented YOLOv3 with Tensorflow 2.0☆14Jan 12, 2023Updated 3 years ago
- ☆12Jan 27, 2025Updated last year
- Sorting libraries for pyculib☆14Aug 22, 2018Updated 7 years ago
- Slides for my 2019 presentation at C++ on Sea☆13Aug 10, 2021Updated 4 years ago