emeryberger / PC-ResourcesView external linksLinks
Resources for conference program chairs, especially in systems/PL areas of computer science.
☆11May 14, 2023Updated 2 years ago
Alternatives and similar repositories for PC-Resources
Users that are interested in PC-Resources are comparing it to the libraries listed below
Sorting:
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆27Sep 8, 2025Updated 5 months ago
- Program synthesis is possible in Rust☆24Nov 15, 2018Updated 7 years ago
- GFA parser in Rust☆30May 26, 2023Updated 2 years ago
- Open Management Plane Software☆11Oct 17, 2024Updated last year
- NS-MIRACLE is a framework designed to enhance the functionalities provided by NS2. It provides an efficient engine for handling cross-lay…☆12Dec 11, 2025Updated 2 months ago
- A deep-learning framework for smartphone identification via passive traffic fingerprinting.☆11Feb 17, 2023Updated 2 years ago
- SimEON: Simulator for Elastic Optical Networks☆11Mar 2, 2018Updated 7 years ago
- The Maveric project is the source of the RIC Algorithm Development Platform (RADP). It enables the development and evaluation of dynamic …☆16Nov 6, 2025Updated 3 months ago
- LTE RACH realistic model☆11Oct 4, 2017Updated 8 years ago
- ☆12Dec 16, 2024Updated last year
- ☆18Dec 4, 2025Updated 2 months ago
- ☆11Oct 19, 2018Updated 7 years ago
- BisetMap is a fast and thread-safe two-way hash map of sets for Rust.☆13Nov 9, 2017Updated 8 years ago
- Web site for cs5010 Fall 2016☆11Dec 7, 2016Updated 9 years ago
- ¿How to solve logic games using an FPGA? Let's do some experiments!☆11May 30, 2017Updated 8 years ago
- Access a local beets library from mopidy via beets native api☆11Aug 27, 2016Updated 9 years ago
- Quicksilver superpage management system☆11May 14, 2021Updated 4 years ago
- The Typed-Turtle Programming Language☆12Apr 4, 2019Updated 6 years ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 7 months ago
- NS3 module for simulating DOCSIS 3.1 links☆15Apr 5, 2024Updated last year
- Intelligence Defined Networking☆13Dec 6, 2017Updated 8 years ago
- ☆15Aug 24, 2019Updated 6 years ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated last month
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆12Jul 9, 2025Updated 7 months ago
- A broken problem☆22Jan 17, 2026Updated 3 weeks ago
- 2020-tutorial created by GitHub Classroom☆11Oct 28, 2020Updated 5 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 10 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 2 months ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆11Nov 13, 2016Updated 9 years ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆10Jul 13, 2025Updated 7 months ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- sqlite-backed dictionary conforming to the dbm interface☆26Dec 16, 2012Updated 13 years ago
- Java JNI binding for mujoco physics system☆14Mar 18, 2025Updated 10 months ago
- an optimizing compiler to a binary turing machine☆11Dec 16, 2024Updated last year
- Omni, stitcher, GCF sample aggregate manager, and other GENI tools.☆12Dec 12, 2022Updated 3 years ago
- software transactional memory in rust☆14Jul 20, 2021Updated 4 years ago