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
- [SIGGRAPH ASIA 2025] This is the official implementation of the SIGGRAPH ASIA 2025 : Hierarchical Neural Semantic Representation for 3D S…☆19Dec 21, 2025Updated 5 months ago
- Footprints for popular keyboard switches☆20May 21, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Implementation from Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference☆11Feb 5, 2020Updated 6 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 11 years ago
- A simple lua jit implemented in Rust for HUST-Complier principle course.☆12May 19, 2021Updated 5 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year
- VU Advanced Multiprocessor Programming, TU Wien, SS 2013☆39Jul 8, 2013Updated 12 years ago
- Linter component for Isabelle.☆20May 4, 2026Updated 3 weeks 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆20May 11, 2023Updated 3 years ago
- (中国鱼) 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 10 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆16Feb 5, 2014Updated 12 years ago
- 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 2 years ago
- 一些实验☆15Jul 11, 2018Updated 7 years ago
- 最新中文版Django book☆16Apr 29, 2016Updated 10 years ago
- Deep Point Set Resampling via Gradient Fields (T-PAMI)☆11Jun 19, 2022Updated 3 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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☆31Jul 26, 2025Updated 10 months ago
- Sample Leaflet app with Electron☆11May 25, 2015Updated 11 years ago
- [CVPR 2025] DV-Matcher: Deformation-based Non-Rigid Point Cloud Matching Guided by Pre-trained Visual Features☆29Sep 5, 2025Updated 8 months ago