Syntax highlighting for F* in Atom Editor
☆11Oct 4, 2021Updated 5 years ago
Alternatives and similar repositories for atom-fstar
Users that are interested in atom-fstar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆10Jul 13, 2020Updated 6 years ago
- emo-framework is an open source 2D game engine for mobiles. Check out the official website for more details.☆13Aug 26, 2013Updated 13 years ago
- AS3GIF lets you play and encode animated GIF's with ActionScript 3.☆25Jul 1, 2010Updated 16 years ago
- Dan Bricklin's wikiCalc☆11Dec 1, 2010Updated 15 years ago
- A Vim mode for FStar☆26Mar 24, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Landing page for Project Everest☆12Oct 30, 2026Updated last week
- Please check dreal4 instead.☆13Nov 11, 2015Updated 10 years ago
- managed debugger for IronPython☆31Apr 8, 2009Updated 17 years ago
- Emacs support for F*☆71Jun 25, 2025Updated last year
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Jasmine reporter that reports a result in TAP format☆10Apr 21, 2012Updated 14 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆18Oct 29, 2026Updated last week
- NodeJS Backbone mode to enable Redis as data persistence layer☆11Oct 21, 2013Updated 13 years ago
- Command-line utility to grep UnicodeData.txt☆10Jul 6, 2011Updated 15 years 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.
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 4 years ago
- Async/Await support for jQuery 1.5+☆14Jun 16, 2012Updated 14 years ago
- [Perl] Modules and scripts for Traditional and Simplified Chinese mappings☆12Jan 17, 2024Updated 2 years ago
- Powerful i18n/l10n management utility.☆14Dec 11, 2011Updated 14 years ago
- Search GitHub repositories☆16Apr 19, 2018Updated 8 years ago
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 5 years ago
- This JavaScript enables the tap-to-play function on those platforms that do not properly support the EPUB 3 Media Overlay specification (…☆13Dec 9, 2015Updated 10 years ago
- pairwise asymmetric inference☆10Dec 21, 2022Updated 3 years ago
- GCC port for OpenRISC 1000☆26Mar 29, 2025Updated last year
- 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.
- Datatable plugin for etherpad-lite☆12Jul 5, 2013Updated 13 years ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆28Feb 25, 2022Updated 4 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- The configuration service for nanomsg, eventually to be included into mainline☆21Dec 11, 2013Updated 12 years ago
- 多重血条，粒子特效置顶,BundleManger☆11May 28, 2018Updated 8 years ago
- A Haskell monad for fair enumeration of infinite sets.☆16Nov 15, 2025Updated 11 months ago
- pdftotext wrapper that generates JSON with bounding box data. Takes care of duplicate characters.☆14Feb 1, 2022Updated 4 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- blog.mattbierner.com☆10Jun 16, 2026Updated 4 months 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.
- ☆17Sep 17, 2012Updated 14 years ago
- Make OCaml native debugging awesome☆33Dec 30, 2019Updated 6 years ago
- Verified implementation of TLS 1.3 in F*☆183Oct 23, 2026Updated 2 weeks ago
- ☆11Nov 27, 2024Updated last year
- ☆16Jul 1, 2015Updated 11 years ago
- error and debug function for haskell that give file locations☆17Apr 10, 2017Updated 9 years ago
- A close look into ESP (Extra-Sensory Perception) cheats, with the goal of understanding prevention☆28Dec 27, 2023Updated 2 years ago