HaydenLeBaron
Functional programming enthusiast. Interested in PL theory and philosophy. Pikachu main.
QwickSalt Lake City, UT
HaydenLeBaron's Stars
warpdotdev/Warp
Warp is a modern, Rust-based terminal with AI built in so you and your team can build great software, faster.
EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
commaai/openpilot
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system in 275+ supported cars.
reazen/relude
FP-inspired prelude/standard library for ReasonML projects
trite/hackerrank-reasonml
Project I'm using to do HackerRank problems in ReasonML
ndmitchell/ghcid
Very low feature GHCi based IDE
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
graphile/crystal
🔮 Graphile's Crystal Monorepo; home to Grafast, PostGraphile, pg-introspection, pg-sql2 and much more!
system-f/fp-course
Functional Programming Course
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
fwcd/curry-language-server
IDE support for the functional logic language Curry
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
hlissner/.doom.d
My private config for Doom Emacs
nobiot/md-roam
Use Org-roam with markdown files by adding Md-roam as a plug-in. Mix org and markdown files in a single Org-roam database.
ryanpcmcquen/obsidian-org-mode
Add Org Mode support to Obsidian.
tefkah/org-roam-timestamps
Add modified and creation timestamps to the org-roam property drawer
xuchunyang/elisp-demos
Demonstrate Emacs Lisp APIs
org-roam/org-roam-ui
A graphical frontend for exploring your org-roam Zettelkasten
louietan/anki-editor
Emacs minor mode for making Anki cards with Org
eyeinsky/org-anki
Sync org notes to Anki via AnkiConnect
org-roam/org-roam
Rudimentary Roam replica with Org-mode
fabioberger/roam-migration
Converts Roam Research exports to Org-roam compatible markdown
mlochbaum/BQN
An APL-like programming language
ToxicFrog/Ligaturizer
Programming Fonts with Ligatures added (& a script to add them to other fonts)
minad/hasklig-mode
hasklig-mode.el - Hasklig ligatures for emacs
i-tu/Hasklig
Hasklig - a code font with monospaced ligatures
Co-dfns/Co-dfns
High-performance, Reliable, and Parallel APL
phantomics/april
The APL programming language (a subset thereof) compiling to Common Lisp.
ghcjs/ghcjs
Haskell to JavaScript compiler, based on GHC
leostera/reason-design-patterns
🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml