Syntax highlighting for F* in Atom Editor
☆11Oct 4, 2021Updated 4 years ago
Alternatives and similar repositories for atom-fstar
Users that are interested in atom-fstar are comparing it to the libraries listed below
Sorting:
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Jul 13, 2020Updated 5 years ago
- Haskell library for manipulating and evaluating polynomials☆20Feb 24, 2022Updated 4 years ago
- A Vim mode for FStar☆26Mar 24, 2023Updated 2 years ago
- Emacs support for F*☆70Jun 25, 2025Updated 8 months ago
- An OS written in Idris (eventually...)☆20Mar 4, 2015Updated 11 years ago
- ELF data structures for Haskell☆24May 9, 2023Updated 2 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- A functional test framework for LSP servers☆35Mar 22, 2021Updated 4 years ago
- Catch Notes Python Intergration API☆21May 6, 2011Updated 14 years ago
- Make OCaml native debugging awesome☆32Dec 30, 2019Updated 6 years ago
- A small 2D game framework in Haskell, for Haskell☆26Jul 10, 2017Updated 8 years ago
- Golang Web Toolkit☆16Nov 5, 2011Updated 14 years ago
- ☆10Jul 19, 2016Updated 9 years ago
- 3D FFD (free-form deformation) demo for FDU DATA130012 (Data Visualization) course project (a Unity3D project)☆11Jul 13, 2017Updated 8 years ago
- Create Synchronicity is an easy, fast and powerful backup application. It synchronizes files & folders, has a neat interface, and can sch…☆12Jun 5, 2011Updated 14 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- 3D Physics Engine ported to Haxe☆15Jul 15, 2015Updated 10 years ago
- ☆19Dec 20, 2016Updated 9 years ago
- Tiny High Performance HTTP Server for Scala☆13Jan 4, 2025Updated last year
- A customized build of CKEditor, a rich text editor.☆10Jan 24, 2024Updated 2 years ago
- blog.mattbierner.com☆10Jul 4, 2024Updated last year
- ☆10May 31, 2018Updated 7 years ago
- A cross-platform file browser for mass renaming☆63Jun 4, 2016Updated 9 years ago
- CPU raytracer using Embree 3.0☆12May 4, 2022Updated 3 years ago
- Native Android application development with haxe☆34Oct 16, 2016Updated 9 years ago
- Don't panic, it's just a game.☆11Sep 29, 2016Updated 9 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 9 years ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 10 months ago
- NodeJS Bluetooth LE client for MacOSX☆10Apr 25, 2015Updated 10 years ago
- Node.js port of EtherCalc with widgets☆10Nov 11, 2017Updated 8 years ago
- Phoshell: a Forth inspired, extremely lightweight, stack machine shell, implementable in _ALL_ known programming languages.☆10Nov 21, 2020Updated 5 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- A bare bones lisp parser & interpreter☆11Jan 26, 2021Updated 5 years ago
- React based ASCII Rogue☆11Nov 20, 2025Updated 3 months ago
- purescript-react wrappers for map gl☆12Mar 8, 2023Updated 3 years ago
- Package damsel provides html outlining via css-selectors and common template functionality.☆24Apr 7, 2016Updated 9 years ago
- 多重血条，粒子特效置顶,BundleManger☆11May 28, 2018Updated 7 years ago
- Batteries for the web☆14Oct 31, 2015Updated 10 years ago