hedengran

hedengran's Stars

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust33.4k1884.5k2.5k

• kovidgoyal/calibre

  The official source code repository for the calibre ebook manager

  Language:Python19.5k38302.3k

• wez/wezterm

  A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

  Language:Rust17.2k863.5k780

• github-linguist/linguist

  Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

  Language:Ruby12.2k5232.4k4.2k

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11k244162587

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k98190397

• sourcegraph/sourcegraph

  Code AI platform with Code Search & Cody

  Language:Go10k18121.6k1.2k

• mealie-recipes/mealie

  Mealie is a self hosted recipe manager and meal planner with a RestAPI backend and a reactive frontend application built in Vue for a pleasant user experience for the whole family. Easily add recipes into your database by providing the url and mealie will automatically import the relevant data or add a family recipe with the UI editor

  Language:Python6.8k411.2k704

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.8k2108.7k1.1k

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.8k912k883

• ther0n/UnnaturalScrollWheels

  Invert scroll direction for physical scroll wheels while maintaining "Natural" scrolling for trackpads on MacOS

  Language:Swift3.3k286572

• kcp-dev/kcp

  Kubernetes-like control planes for form-factors and use-cases beyond Kubernetes and container workloads.

  Language:Go2.3k37910381

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k1161.1k217

• emacs-ng/emacs-ng

  A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.

  Language:Emacs Lisp1.7k3324170

• javacc/javacc

  JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.

  Language:Java1.2k40143247

• wartremover/wartremover

  Flexible Scala code linting tool

  Language:Scala1.1k33339113

• christophercalm/if-im-gone

  A cheat sheet for if I am somehow incapacitated.

  1.1k200127

• neo4j-labs/neosemantics

  Graph+Semantics: Import/Export RDF from Neo4j. SHACL Validation, Model mapping and more.... If you like it, please ★ ⇧

  Language:Java81742236143

• tiagoad/suicide-linux

  @qntm's Suicide Linux, now available on Docker!

  Language:Shell8176346

• bjorne/git-pa-svenska

  Git på svenska

  7842023189

• kubernetes-el/kubernetes-el

  Manage Kubernetes clusters with Emacs.

  Language:Emacs Lisp6261813061

• ImperialCollegeLondon/natural_number_game

  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

  Language:Lean29168773

• jonasdiemer/EurKEY-Mac

  The Keyboard Layout for Europeans, Coders and Translators

  1937855

• epfl-lara/inox

  Solver for higher-order functional programs, used by Stainless

  Language:Scala88135920

• MrBrax/mulle.js

  Language:JavaScript4010120

• tulipcc/tulipcc-maven-plugin

  An updated version of the javacc-maven-plugin using ParserGeneratorCC

  Language:Java406175

• neo4j/cypher-language-support

  Neo4j's Cypher Language support

  Language:TypeScript319237

• YaccConstructor/articles

  Papers sources, pictures, presentations, and other stuff

  Language:TeX2217274

• harryrgrove/F1_model

  Implied odds model to optimise F1 Fantasy

  Language:HTML20202

• agatlin/vscode-cypher-query-language-tools

  Visual Studio Code Cypher Query Langauge Tools for Neo4j

  12203