juarez-gonza

juarez-gonza's Stars

• digininja/DVWA

  Damn Vulnerable Web Application (DVWA)

  Language:PHP10k3094303.4k

• haskell/haskell-language-server

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

  Language:Haskell2.6k512.2k354

• joaotavora/eglot

  A client for Language Server Protocol servers

  Language:Emacs Lisp2.2k39582202

• David-Haim/concurrencpp

  Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all

  Language:C++2.2k5263201

• abo-abo/hydra

  make Emacs bindings that stick around

  Language:Emacs Lisp1.8k34371108

• abo-abo/avy

  Jump to things in Emacs tree-style

  Language:Emacs Lisp1.7k38276109

• uiua-lang/uiua

  A stack-based array programming language

  Language:Rust1.5k25212106

• purcell/exec-path-from-shell

  Make Emacs use the $PATH set up by the user's shell

  Language:Emacs Lisp1.4k349281

• serge-sans-paille/frozen

  a header-only, constexpr alternative to gperf for C++14 users

  Language:C++1.3k4269101

• minad/consult

  :mag: consult.el - Consulting completing-read

  Language:Emacs Lisp1.2k20795101

• k0kubun/xremap

  Key remapper for X11 and Wayland

  Language:Rust1.2k1819679

• mpusz/mp-units

  The quantities and units library for C++

  Language:C++1.1k3433182

• eliaskosunen/scnlib

  scanf for modern C++

  Language:C++1k188146

• rnkn/olivetti

  Emacs minor mode to automatically balance window margins

  Language:Emacs Lisp1k155431

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++936123679

• oantolin/orderless

  Emacs completion style that matches multiple regexps in any order

  Language:Emacs Lisp7461712927

• magit/transient

  Transient commands

  Language:Emacs Lisp6732219462

• vedang/pdf-tools

  Emacs support library for PDF files.

  Language:C6121719188

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell599403234

• joostkremers/writeroom-mode

  Writeroom-mode: distraction-free writing for Emacs.

  Language:Emacs Lisp599136828

• willghatch/racket-rash

  The Reckless Racket Shell

  Language:Racket546267431

• naver/lispe

  An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.

  Language:C370558

• james-stoup/emacs-org-mode-tutorial

  A primer for users trying to make sense of Org Mode

  Language:Emacs Lisp3566212

• jubnoske08/linear_algebra

  Solutions to Linear Algebra Done Right, by Sheldon Axler.

  Language:TeX2284035

• magnars/change-inner.el

  Emacs version of vim's ci and co commands

  Language:Emacs Lisp61699

• clayrat/fav-ssr

  Functional Algorithms Verified in SSReflect

  Language:Coq398186

• jbcoe/value_types

  value types for composite class design - with allocators

  Language:C++32812013

• emacsorphanage/transpose-frame

  Transpose windows arrangement in a frame

  Language:Emacs Lisp26307

• maksym-pasichnyk/trait

  Rust-like traits implementation in C++

  Language:C++17300

• pan-unit42/wireshark-tutorial-Hancitor-traffic

  8603