DavidJS01

DavidJS01's Stars

• misohena/el-easydraw

  Embedded drawing tool for Emacs

  Language:Emacs Lisp77221

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.7k421

• Shirakumo/trial

  A fully-fledged Common Lisp game engine

  Language:Common Lisp1k49

• caris-events/tunalog

  🐟 Tunalog is a no-installation, easy-to-use blogging system written in Go.

  Language:HTML37220

• magic-wormhole/magic-wormhole

  get things from one computer to another, safely

  Language:Python20.3k641

• lunatic-solutions/lunatic

  Lunatic is an Erlang-inspired runtime for WebAssembly

  Language:Rust4.6k138

• sneako/finch

  Elixir HTTP client, focused on performance

  Language:Elixir1.3k119

• SixArm/usv

  Unicode Separated Values (USV) data markup for units, records, groups, files, streaming, and more.

  Language:Shell2094

• rgbedin/interview-prep

  Language:JavaScript26760

• sublime-emacs/sublemacspro

  Emacs Pro Essentials brings the most common emacs features and key bindings that you love to Sublime Text. The kill and mark rings, i-search, registers, numeric arguments, and cursor motion commands for chars/words/lines/s-expressions are all there and multi-cursor enhanced! Also, improved switch to buffer and zap/jump to char/string, and more!

  Language:Python56966

• RoaringBitmap/RoaringBitmap

  A better compressed bitset in Java: used by Apache Spark, Netflix Atlas, Apache Pinot, Tablesaw, and many others

  Language:Java3.5k556

• conao3/oj.el

  Competitive programming tools client for AtCoder, Codeforces

  Language:Emacs Lisp505

• mickeynp/combobulate

  Structured Editing and Navigation in Emacs with Tree-Sitter

  Language:Emacs Lisp93754

• ProtonMail/inbox-desktop

  Desktop application for Mail and Calendar, made with Electron

  633

• hexpm/hexdocs

  Service that manages the static documentation on https://hexdocs.pm

  Language:Elixir419

• khaledh/fusion

  A hobby OS implemented in Nim

  Language:Nim4389

• JohnEarnest/Mako

  A simple virtual game console

  Language:Forth56839

• sarabander/sicp-pdf

  SICP PDF with Texinfo and LaTeX source

  Language:Perl4.3k543

• alphapapa/dogears.el

  Never lose your place in Emacs again

  Language:Emacs Lisp2109

• rougier/nano-emacs

  GNU Emacs / N Λ N O - Emacs made simple

  Language:Emacs Lisp2.6k195

• mclear-tools/tabspaces

  Language:Emacs Lisp23315

• rougier/nano-elfeed

  Emacs configuration file for elfeed (news reader)

  Language:Emacs Lisp69

• erlang/otp

  Erlang/OTP

  Language:Erlang11.4k3k

• haskell/haskell-language-server

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

  Language:Haskell2.7k368

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k210

• larstvei/Focus

  Dim the font color of text in surrounding paragraphs

  Language:Emacs Lisp48516

• casouri/vundo

  Visualize the undo tree.

  Language:Emacs Lisp46523

• alexluigit/dirvish

  A polished Dired with batteries included.

  Language:Emacs Lisp81946

• alphapapa/magit-todos

  Show source files' TODOs (and FIXMEs, etc) in Magit status buffer

  Language:Emacs Lisp74448

• jwiegley/git-undo-el

  A command for Emacs to regress or "undo" a region back through its Git history

  Language:Emacs Lisp916