pioneers / PieCentral
Kit software.
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for PieCentral
- Web-based queue for office hours☆19Updated 4 years ago
- Its an android application☆10Updated 7 years ago
- Math-themed single-serving site☆46Updated 3 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆16Updated 2 years ago
- Repositorio creado para la materia Arquitectura y Sistemas Operativos dictada el segundo cuatrimestre el 2017.☆7Updated 6 years ago
- PWA designed to calculate your final grade for a class, taking account of different weightings in your grade.☆7Updated 4 years ago
- TJ Intranet 3☆100Updated 3 weeks ago
- Resources for Standard ML in Sublime Text 2, including syntax highlighting, a build system, and snippets.☆50Updated 7 years ago
- A basic media component that displays video and audio. This component uses the HTML5 video and audio specification and has a flash fallba…☆7Updated 2 weeks ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 2 months ago
- A proof assistant.☆12Updated 8 years ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆142Updated last month
- UKSF SR3 Mod Development and Issue/Feature Tracking☆8Updated last month
- Support code for Programming Languages (COMPSCI631)☆7Updated 4 years ago
- DEPRECATED☆8Updated 3 years ago
- Make animated GIFs from your Scratch projects!☆9Updated 6 years ago
- Orc programming language implementation☆42Updated 2 years ago
- RISC-V Specification in Coq☆109Updated 3 months ago
- The doge interpreter for the shibe esoteric programming language.☆96Updated 10 years ago
- Tracking code patterns through software versions☆23Updated 5 months ago
- Seashell is an online environment for editing, running, and submitting C programming assignments.☆38Updated last year
- Webpay is an implementation of the WebPaymentProvider spec☆42Updated 8 years ago
- Read more about this here: http://blog.freecodecamp.com/2015/07/watch-us-code-games-live-all-weekend.html☆19Updated 9 years ago
- knot theory and computational algebra software☆35Updated 10 years ago
- [UNMAINTAINED] Collects web code for analysis and reporting.☆11Updated 9 years ago