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)☆28Sep 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
- ☆18Dec 4, 2025Updated 3 months ago
- SimEON: Simulator for Elastic Optical Networks☆11Mar 2, 2018Updated 8 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 4 months ago
- LTE RACH realistic model☆11Oct 4, 2017Updated 8 years ago
- ☆12Dec 16, 2024Updated last year
- A deep-learning framework for smartphone identification via passive traffic fingerprinting.☆11Feb 17, 2023Updated 3 years ago
- ☆15Aug 24, 2019Updated 6 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- ☆11Oct 19, 2018Updated 7 years ago
- The Typed-Turtle Programming Language☆12Apr 4, 2019Updated 6 years ago
- Quicksilver superpage management system☆11May 14, 2021Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- NS3 module for simulating DOCSIS 3.1 links☆16Apr 5, 2024Updated last year
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆11Jul 13, 2025Updated 7 months ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆12Jul 9, 2025Updated 7 months ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- A broken problem☆22Updated this week
- 2020-tutorial created by GitHub Classroom☆11Oct 28, 2020Updated 5 years ago
- Intelligence Defined Networking☆13Dec 6, 2017Updated 8 years ago
- ¿How to solve logic games using an FPGA? Let's do some experiments!☆11May 30, 2017Updated 8 years ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated last month
- Access a local beets library from mopidy via beets native api☆11Aug 27, 2016Updated 9 years ago
- Web site for cs5010 Fall 2016☆11Dec 7, 2016Updated 9 years ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- BisetMap is a fast and thread-safe two-way hash map of sets for Rust.☆13Nov 9, 2017Updated 8 years ago
- Compiler☆14Jun 29, 2024Updated last year
- Measure how long it takes for a program to execute in different clocks☆11Nov 1, 2021Updated 4 years ago
- BadgerTrap is a tool to instrument x86-64 TLB misses.☆13Nov 13, 2016Updated 9 years ago
- My scholarly markdown setup☆10Feb 18, 2015Updated 11 years ago
- jupyter / jupyterlite kernel for Haskell powered by WebAssembly☆57Feb 25, 2026Updated last week
- 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