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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.☆25Jun 17, 2015Updated 11 years ago
- Data Parallel Programming, the 2022 edition☆12Jan 18, 2024Updated 2 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- ☆17Dec 2, 2019Updated 6 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 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A simple lua jit implemented in Rust for HUST-Complier principle course.☆11May 19, 2021Updated 5 years ago
- Implementation from Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference☆11Feb 5, 2020Updated 6 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year
- VU Advanced Multiprocessor Programming, TU Wien, SS 2013☆39Jul 8, 2013Updated 13 years ago
- Linter component for Isabelle.☆23May 4, 2026Updated 2 months ago
- Footprints for popular keyboard switches☆22May 21, 2023Updated 3 years ago
- Green Coordinates fun in maya☆18Nov 20, 2017Updated 8 years ago
- (中国鱼) Chinese Chess with NNUE fork from stockfish and pikafish☆15Nov 26, 2022Updated 3 years ago
- Learning experience for CS61B (data structure and algorithm). Study hard and have fun!☆12Nov 11, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆21May 11, 2023Updated 3 years ago
- A standalone local search solver for general integer linear programming☆16Jul 8, 2024Updated 2 years ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆32Jan 20, 2021Updated 5 years ago
- ☆17Apr 3, 2025Updated last year
- Code for the Book - ElasticSearch 7.x Cookbook☆17Nov 16, 2022Updated 3 years ago
- AWS EC2 Security Group Auditor Tool☆16Nov 21, 2017Updated 8 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Apr 30, 2016Updated 10 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Programming with Spaces in .NET☆11Jan 5, 2023Updated 3 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆19May 29, 2024Updated 2 years ago
- [CVPR'2025] Denoising Functional Maps: Diffusion Models for Shape Correspondence☆18Jul 31, 2025Updated 11 months ago
- 一些实验☆15Jul 11, 2018Updated 8 years ago
- 最新中文版Django book☆16Apr 29, 2016Updated 10 years ago
- Official Repository of NAM☆15Oct 15, 2025Updated 9 months ago
- Simple Internet radio built using mpd/mpc and Flask with Buildroot☆16Apr 14, 2024Updated 2 years ago
- Alicja Moskal, Bartosz Chrostowski, Emil Dragańczuk, Jakub Drak Sbahi, Mikołaj Molenda☆12Apr 17, 2020Updated 6 years ago
- CS 61B Data Structures, Spring 2019☆17Aug 21, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Deep Point Set Resampling via Gradient Fields (T-PAMI)☆11Jun 19, 2022Updated 4 years ago
- CLIM-based appliction for learning languages, in particular Vietnamese.☆11Feb 6, 2023Updated 3 years ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- ☆18Apr 6, 2021Updated 5 years ago
- A simple implementation of the Barnes-Hut quadtree algorithm☆23Apr 6, 2019Updated 7 years ago
- Sample Leaflet app with Electron☆11May 25, 2015Updated 11 years ago
- A Common Lisp Instant Messaging Client.☆12Nov 17, 2022Updated 3 years ago