EduPH / concrete-semantics-SolsView external linksLinks
My solutions to concrete semantics
☆11Sep 20, 2017Updated 8 years ago
Alternatives and similar repositories for concrete-semantics-Sols
Users that are interested in concrete-semantics-Sols are comparing it to the libraries listed below
Sorting:
- My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.☆25Jun 17, 2015Updated 10 years ago
- Sample Leaflet app with Electron☆11May 25, 2015Updated 10 years ago
- [2009] Code apps and games easily on Nintendo Wii !☆12Jan 5, 2018Updated 8 years ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- The RAS Error-record Register Interface provides a specification to augment RAS features in RISC-V SOC hardware to standardize reporting …☆10Feb 6, 2026Updated last week
- VU Advanced Multiprocessor Programming, TU Wien, SS 2013☆39Jul 8, 2013Updated 12 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Alicja Moskal, Bartosz Chrostowski, Emil Dragańczuk, Jakub Drak Sbahi, Mikołaj Molenda☆12Apr 17, 2020Updated 5 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Data Parallel Programming, the 2022 edition☆12Jan 18, 2024Updated 2 years ago
- A simple lua jit implemented in Rust for HUST-Complier principle course.☆12May 19, 2021Updated 4 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated 8 months ago
- Programming with Spaces in .NET☆10Jan 5, 2023Updated 3 years ago
- UCAS基础物理实验课程实验报告,仅供参考☆13May 19, 2021Updated 4 years ago
- ☆16Feb 5, 2014Updated 12 years ago
- Implementation from Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference☆12Feb 5, 2020Updated 6 years ago
- ⛔️ DEPRECATED <Current version at https://github.com/farique1/basic-dignified>☆13Feb 14, 2023Updated 3 years ago
- (中国鱼) Chinese Chess with NNUE fork from stockfish and pikafish☆16Nov 26, 2022Updated 3 years ago
- Game Development Library for the Nintendo Wii☆12Jun 27, 2016Updated 9 years ago
- naïve set arithmetic + CL types reification☆13Jan 14, 2017Updated 9 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Apr 2, 2020Updated 5 years ago
- The default Node Library for StremeCoder☆11Mar 9, 2022Updated 3 years ago
- A Common Lisp Instant Messaging Client.☆12Nov 17, 2022Updated 3 years ago
- The 32-bit version of Murmurhash3 for Common Lisp.☆17Jun 4, 2021Updated 4 years ago
- 最新中文版Django book☆16Apr 29, 2016Updated 9 years ago
- AWS EC2 Security Group Auditor Tool☆16Nov 21, 2017Updated 8 years ago
- Display real time BART departures in Emacs!☆15Jun 1, 2019Updated 6 years ago
- A command line interface (CLI) tool to pack/unpack MSX CAS files☆11Mar 15, 2023Updated 2 years ago
- Mocking functions. Please get in touch to discuss features! Only regular functions available for now.☆18Jul 21, 2022Updated 3 years ago
- A gopher browser written in Common Lisp, using the McCLIM UI library.☆14Nov 6, 2018Updated 7 years ago
- Examples of how to use regular expressions in Haskell.☆14Oct 16, 2015Updated 10 years ago
- Modern ES6 javascript class module worker worklet for AY-3-8910 and YM2149 emulation. With different backends AYUMI and Demozoo as start …☆14Mar 26, 2024Updated last year
- Simple Internet radio built using mpd/mpc and Flask with Buildroot☆16Apr 14, 2024Updated last year
- framework for mixed msx/linux development☆15Jul 25, 2021Updated 4 years ago
- Learning experience for CS61B (data structure and algorithm). Study hard and have fun!☆12Nov 11, 2021Updated 4 years ago
- The complete collection of accessor functions and patterns to access the elements in a compound type specifier☆13Dec 3, 2019Updated 6 years ago
- Moria - VMS Pascal source code☆14Aug 14, 2017Updated 8 years ago
- ☆16Apr 3, 2025Updated 10 months ago