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 10 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
- Footprints for popular keyboard switches☆18May 21, 2023Updated 2 years ago
- Implementation from Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference☆12Feb 5, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆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 11 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 10 months ago
- VU Advanced Multiprocessor Programming, TU Wien, SS 2013☆39Jul 8, 2013Updated 12 years ago
- Linter component for Isabelle.☆20Dec 20, 2025Updated 3 months ago
- Learning experience for CS61B (data structure and algorithm). Study hard and have fun!☆12Nov 11, 2021Updated 4 years ago
- Green Coordinates fun in maya☆18Nov 20, 2017Updated 8 years ago
- ☆20May 11, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- (中国鱼) Chinese Chess with NNUE fork from stockfish and pikafish☆16Nov 26, 2022Updated 3 years ago
- A standalone local search solver for general integer linear programming☆16Jul 8, 2024Updated last year
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Apr 30, 2016Updated 9 years ago
- Code for the Book - ElasticSearch 7.x Cookbook☆17Nov 16, 2022Updated 3 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- ☆17Apr 3, 2025Updated 11 months ago
- AWS EC2 Security Group Auditor Tool☆16Nov 21, 2017Updated 8 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- ☆16Feb 5, 2014Updated 12 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆32Jan 20, 2021Updated 5 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- 一些实验☆15Jul 11, 2018Updated 7 years ago
- 最新中文版Django book☆16Apr 29, 2016Updated 9 years ago
- Deep Point Set Resampling via Gradient Fields (T-PAMI)☆11Jun 19, 2022Updated 3 years ago
- Alicja Moskal, Bartosz Chrostowski, Emil Dragańczuk, Jakub Drak Sbahi, Mikołaj Molenda☆12Apr 17, 2020Updated 5 years ago
- A simple implementation of the Barnes-Hut quadtree algorithm☆23Apr 6, 2019Updated 6 years ago
- CS 61B Data Structures, Spring 2019☆17Aug 21, 2020Updated 5 years ago
- Programming with Spaces in .NET☆10Jan 5, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- This is a repository about the paper "ChangeRD: A Registration-Integrated Change Detection Framework for Unaligned Remote Sensing Images"…☆24Apr 2, 2025Updated 11 months ago
- Mocking functions. Please get in touch to discuss features! Only regular functions available for now.☆18Jul 21, 2022Updated 3 years ago
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- A Fast Floating-Point Satisfiability Solver☆29Jul 26, 2025Updated 8 months ago
- Sample Leaflet app with Electron☆11May 25, 2015Updated 10 years ago
- [CVPR 2025] DV-Matcher: Deformation-based Non-Rigid Point Cloud Matching Guided by Pre-trained Visual Features☆29Sep 5, 2025Updated 6 months ago
- A Common Lisp Instant Messaging Client.☆12Nov 17, 2022Updated 3 years ago