Swarthe

Swarthe's Stars

• chrislgarry/Apollo-11

  Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

  Language:Assembly60.2k1.3k3817.1k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1825.6k1.5k

• beemdevelopment/Aegis

  A free, secure and open source app for Android to manage your 2-step verification tokens.

  Language:Java9.5k881.1k399

• Morganamilo/paru

  Feature packed AUR helper

  Language:Rust6.4k36912238

• boltgolt/howdy

  🛡️ Windows Hello™ style facial authentication for Linux

  Language:Python6k62823309

• amperser/proselint

  A linter for prose.

  Language:Python4.4k45496180

• bulletmark/libinput-gestures

  Actions gestures on your touchpad using libinput

  Language:Python4k63320239

• fwupd/fwupd

  A system daemon to allow session software to update firmware

  Language:C3k561.9k444

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k512.2k369

• xeco23/WasIstLos

  An unofficial WhatsApp desktop application for Linux.

  Language:C++1k22329103

• pixeltris/GK6X

  Configure keys, macros, and lighting on GK6X keyboards (GK64, GK84, GK61, etc)

  Language:JavaScript84131201105

• mean00/avidemux2

  Avidemux2, simple video editor

  Language:C731330122

• neovimhaskell/haskell-vim

  Custom Haskell Vimscripts

  Language:Vim script682129582

• fjvallarino/monomer

  An easy to use, cross platform, GUI library for writing Haskell applications.

  Language:Haskell6001916243

• marvinkreis/rofi-file-browser-extended

  Use rofi to quickly open files

  Language:C24374416

• haskell-game/dear-imgui.hs

  Haskell bindings to Dear ImGui, an immediate mode GUI toolkit

  Language:Haskell145115031

• wxHaskell/wxHaskell

  MOVED TO https://codeberg.org/wxHaskell/wxHaskell

  Language:C++8015041

• vivid-synth/vivid

  Music and sound synthesis in Haskell!

  Language:Haskell53497

• luc-tielen/llvm-codegen

  LLVM code generation in Haskell

  Language:Haskell51445

• HeinrichApfelmus/tomato-rubato

  Tomato-rubato is an easy to use library for live audio programming in Haskell.

  Language:Haskell30416

• kitsuneninetails/rust-effects

  A set of typeclasses and effects for Rust similar to those provided by Cats for Scala

  Language:Rust25202

• ufoot/liquidwar5

  A unique multiplayer wargame.

  Language:C21105

• torvoltos/gimp

  Green Is My Pepper

  18112

• CandleSign/Rain-World-Devlog

  An archive of the Rain World devlog (https://forums.tigsource.com/index.php?topic=25183) with all messages from JLJac and jamesprimate, and all the embedded images I could find and save.

  Language:HTML141

• Swarthe/pass-rs

  A secure encrypted data manager

  Language:Rust14301

• Swarthe/figsynth

  Polygonal synthesizer

  Language:Haskell9100

• Naphthalin/lichess-bot

  A bridge between Lichess API and chess engines

  Language:Python20

• Swarthe/ode

  Data management and serialisation library

  Language:C2100

• Swarthe/airboat

  Arduino RC boat project

  Language:C++10

• Swarthe/hintegram

  A tool to automatically setup computers running Debian and derivatives for educational purposes

  Language:Shell1200