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☆19May 21, 2023Updated 2 years ago
- Implementation from Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference☆11Feb 5, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- (中国鱼) Chinese Chess with NNUE fork from stockfish and pikafish☆15Nov 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 last year
- 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 6 years ago
- A simple implementation of the Barnes-Hut quadtree algorithm☆23Apr 6, 2019Updated 7 years ago
- CLIM-based appliction for learning languages, in particular Vietnamese.☆11Feb 6, 2023Updated 3 years ago
- CS 61B Data Structures, Spring 2019☆17Aug 21, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Programming with Spaces in .NET☆10Jan 5, 2023Updated 3 years ago
- This is a repository about the paper "ChangeRD: A Registration-Integrated Change Detection Framework for Unaligned Remote Sensing Images"…☆25Apr 2, 2025Updated last year
- 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 7 months ago