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
Sorting:
- Emacs support for F*☆70Jun 25, 2025Updated 8 months ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 5 years ago
- A Vim mode for FStar☆26Mar 24, 2023Updated 2 years ago
- Binary logical relations library for the Coq proof assistant☆22Oct 15, 2025Updated 4 months ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- Finite sets and maps for Coq with extensional equality☆30Jan 16, 2026Updated last month
- FunTAL: mixing a functional language with assembly.☆41Jun 5, 2017Updated 8 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Jan 6, 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
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- A presentation by Aaron Goldsmith☆10Jan 8, 2026Updated last month
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- The Python Quantum Computing Library☆10Apr 21, 2023Updated 2 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Sep 27, 2016Updated 9 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- An IRC bot for Common Lisp code evaluation☆25Sep 12, 2025Updated 5 months ago
- Type-level integers for C#☆11Jan 12, 2024Updated 2 years ago
- Bidirectional programming in Haskell with monadic profunctors☆49May 17, 2022Updated 3 years ago
- Cryptocurrency point-of-sales (POS) system for dogecoin and bitcoin☆15Jul 28, 2014Updated 11 years ago
- I found this code here http://lists.common-lisp.net/pipermail/slime-devel/2012-March/018497.html . Original Author is Max Mikhanosha.☆16May 30, 2014Updated 11 years ago
- Emacs Lisp namespaces (defpackage)☆18Aug 18, 2012Updated 13 years ago
- Nimrod/Nim wrapper for the GNU multiple precision arithmetic library☆11Apr 29, 2017Updated 8 years ago
- Scala-to-Minecraft testing framework.☆16Updated this week
- A DSL for describing and implementing communication protocols☆84Dec 19, 2014Updated 11 years ago
- A python client library to interact with Polar Flow☆10Feb 3, 2021Updated 5 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- Scalacheck Arbitrary type class derivation using magnolia☆10Jan 13, 2023Updated 3 years ago
- Thin covers for Dyalog APL's ⎕R and ⎕S☆10Jul 6, 2020Updated 5 years ago
- Cryptographic accumulator☆10Mar 8, 2018Updated 7 years ago
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 4 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- An educational tool for providing a gentle introduction to Assembly☆10Mar 24, 2022Updated 3 years ago
- 🖥💬 A GPT-3 powered tool for (dangerously) asking your computer questions about itself☆13Dec 22, 2022Updated 3 years ago
- A CGI module for Julia☆10Jul 9, 2014Updated 11 years ago