plumenator's Stars
denoland/deno
A modern runtime for JavaScript and TypeScript.
simdjson/simdjson
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
dhall-lang/dhall-lang
Maintainable configuration files
styfle/awesome-online-ide
🌩️ A list of awesome online development environments
mhxion/awesome-discord-communities
A curated list of awesome Discord communities for programmers
jozefg/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
tnballo/high-assurance-rust
A free book about developing secure and robust systems software.
ferrous-systems/elements-of-rust
rust style and philosophy
cohomolo-gy/haskell-resources
A List of Foundational Haskell Papers
i-am-tom/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
nanopass/nanopass-framework-scheme
The new nanopass framework; an embedded DSL for writing compilers in Scheme
rust-fuzz/honggfuzz-rs
Fuzz your Rust code with Google-developed Honggfuzz !
boksajak/brdf
Code sample accompanying the article "Crash Course in BRDF Implementation"
IHaskell/learn-you-a-haskell-notebook
Jupyter adaptation of Learn You a Haskell for Great Good!
blynn/compiler
The adventures of a Haskell compiler
jeanqasaur/pltalk
Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
i-am-tom/higgledy
Higher-kinded data via generics
humancalico/nix-learning
A bunch of links to blog posts, articles, videos, etc for learning Nix
danielkaczmarczyk/dk-cs-notes
Personal notes on my continuous progress in pursuing mastery of my craft.
RyanGlScott/ghc-software-foundations
The Software Foundations book, in GHC
chris-martin/home
My home directory: Nix config, dotfiles, scripts, etc.
gergoerdi/icfp-bingo-2017-idris
ICFP Bingo 2017 (Idris edition)
Dot32Dev/bevy-moving-circle
🦀 Control a now blue circle with wasd/arrow keys (intense gameplay)
pdarragh/parsing-with-zippers-paper-artifact
The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
note/mini-refined
Simple encoding of refinement types in Scala 3
chiroptical/chiroptical
About me
kingparra/hpfp
Notes and exercises on Haskell Programming from First Principles by Chris Allen and Julie Moronuki.
tomcobley/haskell-final-exams
My past paper solutions for the ICL final Haskell exam.
mrouija/homelabbing
catalog of my journey in Homelabbing