-
University of Colorado Boulder
- Boulder
Highlights
- Pro
Lists (3)
Sort Name ascending (A-Z)
Stars
FeiyangJin / hclib
Forked from habanero-rice/hclibA C/C++ task-based programming model for shared memory and distributed parallel computing.
Python tool: Contract-based Analysis for Stochastic Systems Engineering (PyCASSE). For details, please visit https://descyphy.github.io/pycasse.
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
A domain-specific-language and compiler for low-level bitstream processing.
The Microsoft Research Software Radio (Sora) is a programmable software radio platform based on the commodity multicore CPU in a host PC. The SDK provides the drivers, user mode 802.11a/b/n samples…
🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.
The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks
Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Lindemann, H. Zhang, D. V. Dimarogonas, S. Tu, and N. Matni, h…
A compressed, associative, exact, and weighted dictionary for k-mers.
Declarative concurrency in Scala - The implementation of the chemical machine
Support for for students (Python)
Automatically synthesizing invariants of distributed systems
Automated tool to formally verify congestion control algorithms and find bugs in them
⚙️ A conflict-driven nogood learning answer set solver
A Library for Representing Recursive and Impure Programs in Coq
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
Theoretical Machine Learning (APPM 4490) class, Spring 2022
Platform for building access networks and modular network services
Open source 5G UE and RAN (gNodeB) implementation.
Armada is a tool for writing, and proving correct, high-performance concurrent programs.