Spacemacs layer for fstar (wrapper for fstar-mode.el)
β11Jul 13, 2020Updated 5 years ago
Alternatives and similar repositories for fstar-layer
Users that are interested in fstar-layer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Syntax highlighting for F* in Atom Editorβ11Oct 4, 2021Updated 4 years ago
- π¦ VSCode extension for F* with IDE featuresβ16Mar 21, 2020Updated 6 years ago
- Emacs support for F*β72Jun 25, 2025Updated 8 months ago
- Finite sets and maps for Coq with extensional equalityβ30Mar 5, 2026Updated 2 weeks ago
- A Vim mode for FStarβ26Mar 24, 2023Updated 2 years ago
- A formalization of properties of a simple imperative, memory-safe language.β20Sep 27, 2021Updated 4 years ago
- Binary logical relations library for the Coq proof assistantβ22Oct 15, 2025Updated 5 months ago
- Search GitHub repositoriesβ15Apr 19, 2018Updated 7 years ago
- Old Clowdr versions 1 & 2 from 2020β37Jan 6, 2021Updated 5 years ago
- A close look into ESP (Extra-Sensory Perception) cheats, with the goal of understanding preventionβ22Dec 27, 2023Updated 2 years ago
- Game code and data for Fool Me Twice: Entailment from Wikipedia Gamification https://arxiv.org/abs/2104.04725β25Updated this week
- View the GPN19 Fahrplan in your terminalβ12Dec 27, 2022Updated 3 years ago
- Program verification with F* course materialsβ12Jul 6, 2019Updated 6 years ago
- Logically Qualified Data Types - automatically infer refinement typesβ16Aug 24, 2021Updated 4 years ago
- FunTAL: mixing a functional language with assembly.β41Jun 5, 2017Updated 8 years ago
- β11Nov 27, 2024Updated last year
- A python client library to interact with Polar Flowβ10Feb 3, 2021Updated 5 years ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.β34May 27, 2017Updated 8 years ago
- A LaTeX package for commenting multi-author documentsβ12Feb 12, 2015Updated 11 years ago
- Bidirectional programming in Haskell with monadic profunctorsβ49May 17, 2022Updated 3 years ago
- Formalisation of Goedel's System T in Coqβ15Jul 1, 2011Updated 14 years ago
- Survey on materials that touch on the history of Lambda Calculusβ12Sep 13, 2020Updated 5 years ago
- Meetup in Bochum for Nix/NixOS users and those who want to become oneβ20Jun 24, 2024Updated last year
- Experimental CPSA -- the Cryptographic Protocol Shapes Analyzer experimental versionβ21Mar 2, 2026Updated 3 weeks ago
- β12Mar 13, 2025Updated last year
- A tool for verifying transitions in cryptographic game-hopping proofsβ17Updated this week
- FxQRL is a Firefox add-on that turns your URLs into QR code images without network connection.β18Jun 29, 2018Updated 7 years ago
- An IRC bot for Common Lisp code evaluationβ25Sep 12, 2025Updated 6 months ago
- Tile map of the Computer Science Department of UniversitΓ di Pisaβ12Mar 19, 2021Updated 5 years ago
- Chip-8 emulatorβ12Jul 24, 2020Updated 5 years ago
- A Cryptographic Investigation of Secure Scuttlebutt. Summer Internship in Symbolic Software.β21Sep 16, 2019Updated 6 years ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Codeβ19Jun 19, 2024Updated last year
- β14Mar 7, 2023Updated 3 years ago
- β14Jan 30, 2017Updated 9 years ago
- achieve modularity and separation of concerns through feature-oriented developmentβ20May 6, 2015Updated 10 years ago
- π₯π¬ A GPT-3 powered tool for (dangerously) asking your computer questions about itselfβ13Dec 22, 2022Updated 3 years ago
- Common Lisp reader heredoc dispatcherβ17Apr 11, 2022Updated 3 years ago
- An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the currenβ¦β11Apr 22, 2018Updated 7 years ago
- Compositional CompCertβ15Jan 9, 2019Updated 7 years ago