jrpotter

jrpotter's Stars

• Julian/lean.nvim

  Neovim support for the Lean theorem prover

  Language:Lua30629

• ObsidianToAnki/Obsidian_to_Anki

  Script to add flashcards from text/markdown files to Anki

  Language:Python1.6k142

• open-spaced-repetition/fsrs4anki

  A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

  Language:Jupyter Notebook2.9k139

• mtrudel/bandit

  Bandit is a pure Elixir HTTP server for Plug & WebSock applications

  Language:Elixir1.7k89

• be5invis/Iosevka

  Versatile typeface for code, from code.

  Language:JavaScript19.6k590

• leanprover/doc-gen4

  Document Generator for Lean 4

  Language:Lean7543

• cmu-db/bustub

  The BusTub Relational Database Management System (Educational)

  Language:C++4.2k1.8k

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java53k6k

• wez/wezterm

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

  Language:Rust18.9k827

• GusVieweg/spotify-splitter

  Language:Python2

• ollef/Bidirectional

  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

  Language:Haskell12912

• Mesabloo/diagnose

  A simple library for reporting compiler/interpreter errors

  Language:Haskell26119

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.9k14.7k

• debug-ito/greskell

  Haskell binding for Gremlin graph query language

  Language:Haskell274

• nlewo/gremnix

  Browse the references graph of Nix store paths

  Language:Groovy12

• facebookincubator/CG-SQL

  CG/SQL is a compiler that converts a SQL Stored Procedure like language into C for SQLite. SQLite has no stored procedures of its own. CG/CQL can also generate other useful artifacts for testing and schema maintenance.

  Language:HTML39434

• edgedb/edgedb

  A graph-relational database with declarative schema, built-in migration system, and a next-generation query language

  Language:Python13.3k408

• typedb/typedb

  TypeDB: the power of programming, in your database

  Language:Rust3.9k341

• Mercury-Language/mercury

  The Mercury logic programming system.

  Language:Mercury92055

• blender/blender

  Official mirror of Blender

  Language:C++13.8k2.1k

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++13.3k1.6k

• nginxinc/kubernetes-ingress

  NGINX and NGINX Plus Ingress Controllers for Kubernetes

  Language:Go4.7k2k

• ghcjs/ghcjs

  Haskell to JavaScript compiler, based on GHC

  Language:Haskell2.6k186

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k217

• mawww/kakoune

  mawww's experiment for a better code editor

  Language:C++10.1k720

• neovim/neovim

  Vim-fork focused on extensibility and usability

  Language:Vim Script85.2k5.8k