Tutorial for Creusot
☆13Oct 14, 2026Updated 3 weeks ago
Alternatives and similar repositories for tutorial
Users that are interested in tutorial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- A non-IP protocol for communication between devices and cloud services☆23Updated this week
- Lecture notes on algorithms and data structures. Begun as written notes for A&DS from Pavel Marvin.☆13May 26, 2026Updated 5 months ago
- Clojure-style transients for Haskell☆35Jun 27, 2022Updated 4 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.
- Minimalistic MongoDB Snaplet.☆11Feb 10, 2017Updated 9 years ago
- A Lean implementation of Interaction Trees☆20Jan 13, 2025Updated last year
- Refinement type checking and inference tool for Rust☆26Oct 28, 2026Updated last week
- reading list on software performance☆15Oct 3, 2026Updated last month
- teensy elf executable (64 bit)☆13May 19, 2013Updated 13 years ago
- A model-checker for caml programs.☆13Mar 31, 2021Updated 5 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- A Formula1 API build in Rust.☆13Mar 2, 2026Updated 8 months ago
- Fast, and parallel, fibonacci numbers☆17Jul 10, 2020Updated 6 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.
- Support for linearly-typed generics in Haskell☆10Jun 18, 2026Updated 4 months ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- Manage multiple hyperdrive instances [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]☆12Jan 6, 2022Updated 4 years ago
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆12Jul 19, 2023Updated 3 years ago
- Gitmost is an open-source collaborative wiki and documentation software. It is an open-source alternative to Confluence and Notion.☆23Oct 28, 2026Updated last week
- ☆19Sep 26, 2026Updated last month
- Documentation for best practices followed at FP Complete☆21May 8, 2023Updated 3 years ago
- STM on Free monads☆25May 16, 2018Updated 8 years ago
- Demo tool for Go concurrency analysis framework☆11Sep 13, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Sep 19, 2026Updated last month
- https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml☆23Jun 18, 2026Updated 4 months ago
- ☆21Jul 24, 2026Updated 3 months ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆45Updated this week
- Wait free synchronization primitives☆24Aug 3, 2026Updated 3 months ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- ☆24Jun 25, 2026Updated 4 months 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.
- Latex preprocessor — apply macro definitions, remove comments, and more☆15Jul 26, 2026Updated 3 months ago
- ADV360 Pro ZMK All-in-One Qwerty, Colemak, Colemak-DH, Dvorak, Programmer Dvorak, Workman, Workman-P Layout☆15Sep 23, 2024Updated 2 years ago
- An abstract-random-access compliant instance that combines multiple other abstract-random-access instances into a single one.☆16Jan 25, 2020Updated 6 years ago
- Implementing CIS 194 (2013) Haskell course in C++☆24Nov 6, 2025Updated last year
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆14Dec 29, 2025Updated 10 months ago
- A small Alpine Linux based toolbox for Docker on CoreOS with various admin tools☆12Apr 28, 2020Updated 6 years ago
- Small program that lists all the changes in a dat [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]…☆20Jan 5, 2022Updated 4 years ago