Alternatives and similar repositories for atom-fstar

Users that are interested in atom-fstar are comparing it to the libraries listed below

• FStarLang / fstar-layer

  View on GitHub
  Spacemacs layer for fstar (wrapper for fstar-mode.el)
  ☆11Jul 13, 2020Updated 5 years ago
• mokus0 / polynomial

  View on GitHub
  Haskell library for manipulating and evaluating polynomials
  ☆20Feb 24, 2022Updated 3 years ago
• FStarLang / VimFStar

  View on GitHub
  A Vim mode for FStar
  ☆26Mar 24, 2023Updated 2 years ago
• FStarLang / fstar-mode.el

  View on GitHub
  Emacs support for F*
  ☆70Jun 25, 2025Updated 7 months ago
• stepcut / idrOS

  View on GitHub
  An OS written in Idris (eventually...)
  ☆20Mar 4, 2015Updated 10 years ago
• mvv / data-elf

  View on GitHub
  ELF data structures for Haskell
  ☆24May 9, 2023Updated 2 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• lukel97 / lsp-test

  View on GitHub
  A functional test framework for LSP servers
  ☆35Mar 22, 2021Updated 4 years ago
• catch / python-api

  View on GitHub
  Catch Notes Python Intergration API
  ☆21May 6, 2011Updated 14 years ago
• mshinwell / libmonda

  View on GitHub
  Make OCaml native debugging awesome
  ☆32Dec 30, 2019Updated 6 years ago
• bananu7 / Hate

  View on GitHub
  A small 2D game framework in Haskell, for Haskell
  ☆26Jul 10, 2017Updated 8 years ago
• ashokgelal / gorilla

  View on GitHub
  Golang Web Toolkit
  ☆16Nov 5, 2011Updated 14 years ago
• KanaHayama / 3D-FFD

  View on GitHub
  3D FFD (free-form deformation) demo for FDU DATA130012 (Data Visualization) course project (a Unity3D project)
  ☆11Jul 13, 2017Updated 8 years ago
• kaypoz / reddit-notifier

  View on GitHub
  ☆10Jul 19, 2016Updated 9 years ago
• regb / scalavator

  View on GitHub
  The unofficial Scala game
  ☆11Oct 26, 2020Updated 5 years ago
• DieracDelta / NixKernelTutorial

  View on GitHub
  ☆10Jun 30, 2021Updated 4 years ago
• sdiehl / print

  View on GitHub
  Simple printing with Text
  ☆10Jan 3, 2017Updated 9 years ago
• eddyparkinson / cellmaster

  View on GitHub
  Node.js port of EtherCalc with widgets
  ☆10Nov 11, 2017Updated 8 years ago
• tolysz / c-mosquitto

  View on GitHub
  Simple Amazon IoT compatible client
  ☆13Oct 24, 2019Updated 6 years ago
• csgordon / coq-fsharp

  View on GitHub
  Libraries and tools for extracting Coq code to F#
  ☆14Aug 16, 2013Updated 12 years ago
• kinakomoti-321 / Raytracing_With_Embree

  View on GitHub
  CPU raytracer using Embree 3.0
  ☆12May 4, 2022Updated 3 years ago
• ppossemiers / crazyflie-ble

  View on GitHub
  NodeJS Bluetooth LE client for MacOSX
  ☆10Apr 25, 2015Updated 10 years ago
• Conreality / conreality

  View on GitHub
  Don't panic, it's just a game.
  ☆11Sep 29, 2016Updated 9 years ago
• vishnevskiy / greentornado

  View on GitHub
  Tornado Hub for Eventlet
  ☆38Mar 5, 2013Updated 12 years ago
• Randonee / BasisAndroid

  View on GitHub
  Native Android application development with haxe
  ☆34Oct 16, 2016Updated 9 years ago
• joneshf / purescript-lens-examples

  View on GitHub
  ☆12Jan 5, 2015Updated 11 years ago
• ekmett / foreign-var

  View on GitHub
  Foreign variables, deprecated in favor of `StateVar`
  ☆11May 1, 2019Updated 6 years ago
• dskinner / damsel

  View on GitHub
  Package damsel provides html outlining via css-selectors and common template functionality.
  ☆24Apr 7, 2016Updated 9 years ago
• SOF3 / off-side.rs

  View on GitHub
  Use off-side syntax (indent instead of braces, like in Python) to write Rust!
  ☆10Jun 26, 2019Updated 6 years ago
• browserdotsys / vecchio

  View on GitHub
  Rust implementation of Ray Tracing in One Weekend
  ☆12Jul 17, 2020Updated 5 years ago
• RawToast / bouken

  View on GitHub
  React based ASCII Rogue
  ☆11Nov 20, 2025Updated 2 months ago
• mc2it / rich-text-editor

  View on GitHub
  A customized build of CKEditor, a rich text editor.
  ☆10Jan 24, 2024Updated 2 years ago
• 8Gitbrix / 2048Haskell

  View on GitHub
  Play 2048 from the command line /terminal !
  ☆45Dec 5, 2017Updated 8 years ago
• mattbierner / blog.mattbierner.com

  View on GitHub
  blog.mattbierner.com
  ☆10Jul 4, 2024Updated last year
• gmdfalk / demimove

  View on GitHub
  A cross-platform file browser for mass renaming
  ☆63Jun 4, 2016Updated 9 years ago
• usounds / Rito

  View on GitHub
  ATProto Social Bookmark
  ☆25Jan 30, 2026Updated 2 weeks ago
• kritzcreek / purescript-blessed

  View on GitHub
  [WIP!] PureScript bindings to the blessed library
  ☆10May 13, 2016Updated 9 years ago
• clovyr / aeson-yaml

  View on GitHub
  Encode any Aeson (JSON) value as YAML (in pure Haskell)
  ☆12Nov 5, 2023Updated 2 years ago
• tailhook / marafet

  View on GitHub
  Compiler for Jade-like template language to cito.js-based virtual dom
  ☆11Sep 7, 2015Updated 10 years ago