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

• xlauko / lart

  View on GitHub
  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
• ppenna / playground

  View on GitHub
  Algorithms and data structures made simple
  ☆27Aug 24, 2023Updated 2 years ago
• PaymonTeam / paymoncoin

  View on GitHub
  DAG-based blockchain
  ☆10Apr 20, 2019Updated 6 years ago
• facebookarchive / Rust-SMT-LIB-API

  View on GitHub
  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
• MeGotsThis / Hanabi-AI

  View on GitHub
  This is a hanabi AI bot that can play on http://keldon.net/hanabi/
  ☆11May 29, 2017Updated 8 years ago
• monthadar / FreeBSD-IEEE80211s-simulator

  View on GitHub
  Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.
  ☆11Dec 13, 2011Updated 14 years ago
• CMU-SAFARI / Shifted-Hamming-Distance

  View on GitHub
  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
• DavisPL / PCCC

  View on GitHub
  Proof-carrying code completions in Dafny
  ☆11Apr 4, 2025Updated 10 months ago
• Shaddadi / veritex

  View on GitHub
  ☆12Jun 18, 2024Updated last year
• tzhang298 / UCLA-CS264A-Fall2020

  View on GitHub
  ☆14Jan 11, 2021Updated 5 years ago
• FlorentAvellaneda / InferDT

  View on GitHub
  The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"
  ☆10Jun 26, 2020Updated 5 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• loganchien / opencl-examples

  View on GitHub
  ☆13Jan 17, 2022Updated 4 years ago
• github / lua-nginx-module

  View on GitHub
  Embed the Power of Lua into NGINX HTTP servers
  ☆11Dec 1, 2015Updated 10 years ago
• franzflasch / leiwand_rv32

  View on GitHub
  RISC-V RV32I CPU written in verilog
  ☆10Jul 11, 2020Updated 5 years ago
• acorrenson / modulus

  View on GitHub
  A constraint solver built from scratch in OCaml
  ☆12Dec 10, 2021Updated 4 years ago
• tetherless-world / explanation-ontology

  View on GitHub
  Explanation Ontology Resource website
  ☆12Jun 8, 2024Updated last year
• avpatel / kvmtool

  View on GitHub
  Native Linux KVM tool
  ☆12Feb 4, 2026Updated last week
• verilog-to-routing / libsdcparse

  View on GitHub
  ☆12Feb 6, 2026Updated last week
• brson / rust-is-for-blockchain

  View on GitHub
  Slides about the Rust in the blockchain industry
  ☆10Dec 7, 2022Updated 3 years ago
• profmadden / pstools

  View on GitHub
  A simple C wrapper library, for generating PostScript files.
  ☆11Oct 24, 2020Updated 5 years ago
• mit-plv / reification-by-parametricity

  View on GitHub
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Jan 12, 2021Updated 5 years ago
• soulik / LuaSDL-2.0

  View on GitHub
  Lua binding for libSDL 2.0
  ☆10Mar 16, 2016Updated 9 years ago
• kayceesrk / cs3100_m25

  View on GitHub
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Nov 17, 2025Updated 3 months ago
• zodiacon / winsta

  View on GitHub
  Show Window Stations, Desktops and top level windows
  ☆17Jun 10, 2023Updated 2 years ago
• foss-for-synopsys-dwc-arc-processors / arc_labs

  View on GitHub
  The labs of ARC university courses
  ☆12Aug 29, 2023Updated 2 years ago
• BigRedEye / poorprof

  View on GitHub
  Fast poor man's profiler for Linux
  ☆12Jun 8, 2023Updated 2 years ago
• flutterwireless / BOSSA-Arduino

  View on GitHub
  BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.
  ☆12Mar 17, 2015Updated 10 years ago
• particle-iot / Particle-PID

  View on GitHub
  PID control library for Particle, adapted from br3ttb/Arduino-PID-Library
  ☆11Feb 15, 2024Updated 2 years ago
• 3dproger / ProcDepMonitor

  View on GitHub
  Cross-platform process dependency monitor with GUI based on Qt
  ☆10Nov 24, 2022Updated 3 years ago
• mit-pdos / 6.826-2019-labs

  View on GitHub
  Lab assignments for 6.826
  ☆11Nov 8, 2019Updated 6 years ago
• tencent-ailab / Arena

  View on GitHub
  ☆10Mar 10, 2021Updated 4 years ago
• kaka-lin / yolov3-tf2

  View on GitHub
  Implemented YOLOv3 with Tensorflow 2.0
  ☆14Jan 12, 2023Updated 3 years ago
• abstract-machine-learning / saver

  View on GitHub
  SVM Abstrac Verifier tool
  ☆12Oct 13, 2022Updated 3 years ago
• dinamite-toolkit / dinamite

  View on GitHub
  DINAMITE LLVM Pass
  ☆11May 24, 2017Updated 8 years ago
• casonadams / nvim-rust-ide

  View on GitHub
  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
• lawrie / ulx3s_zx_spectrum

  View on GitHub
  Minimal ZX Spectrum for Ulx3s ECP5 board
  ☆12May 7, 2020Updated 5 years ago
• tlringer / proof-chat-fun

  View on GitHub
  playing with gpt4
  ☆14Mar 17, 2023Updated 2 years ago
• freechipsproject / chisel-coverage

  View on GitHub
  A coverage library for Chisel designs
  ☆11Mar 12, 2020Updated 5 years ago