ucsd-cse131-f19 / ucsd-cse131-f19.github.ioView external linksLinks
Course web site for CSE131 F19
☆11Dec 5, 2019Updated 6 years ago
Alternatives and similar repositories for ucsd-cse131-f19.github.io
Users that are interested in ucsd-cse131-f19.github.io are comparing it to the libraries listed below
Sorting:
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Mar 17, 2023Updated 2 years ago
- Algorithms and data structures made simple☆27Aug 24, 2023Updated 2 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Jan 17, 2020Updated 6 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Source code for the Shifted Hamming Distance (SHD) filtering mechanism for sequence alignment. Described in the Bioinformatics journal pa…☆36Mar 29, 2020Updated 5 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- ☆12Jun 18, 2024Updated last year
- ☆14Jan 11, 2021Updated 5 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- RISC-V RV32I CPU written in verilog☆10Jul 11, 2020Updated 5 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- Native Linux KVM tool☆12Feb 4, 2026Updated last week
- ☆12Feb 6, 2026Updated last week
- Slides about the Rust in the blockchain industry☆10Dec 7, 2022Updated 3 years ago
- A simple C wrapper library, for generating PostScript files.☆11Oct 24, 2020Updated 5 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Lua binding for libSDL 2.0☆10Mar 16, 2016Updated 9 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Show Window Stations, Desktops and top level windows☆17Jun 10, 2023Updated 2 years ago
- The labs of ARC university courses☆12Aug 29, 2023Updated 2 years ago
- Fast poor man's profiler for Linux☆12Jun 8, 2023Updated 2 years ago
- BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.☆12Mar 17, 2015Updated 10 years ago
- PID control library for Particle, adapted from br3ttb/Arduino-PID-Library☆11Feb 15, 2024Updated 2 years ago
- Cross-platform process dependency monitor with GUI based on Qt☆10Nov 24, 2022Updated 3 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- ☆10Mar 10, 2021Updated 4 years ago
- Implemented YOLOv3 with Tensorflow 2.0☆14Jan 12, 2023Updated 3 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆11Oct 3, 2020Updated 5 years ago
- Minimal ZX Spectrum for Ulx3s ECP5 board☆12May 7, 2020Updated 5 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 5 years ago