joelmccracken

joelmccracken's Stars

• atlas-engineer/nyxt

  Nyxt - the hacker's browser.

  Language:Common Lisp9.9k1132.3k413

• commercialhaskell/stack

  The Haskell Tool Stack

  Language:Haskell4k1004.3k843

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k60328165

• hamler-lang/hamler

  Haskell-style functional programming language running on Erlang VM.

  Language:Erlang1k317839

• kowainik/learn4haskell

  👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

  Language:Haskell1k2549841

• t-mart/kill-sticky

  Bookmarklet to remove sticky elements and restore scrolling to web pages!

  Language:JavaScript84710413

• michaelt/martin-lof

  papers of Per Martin Löf

  Language:TeX754551866

• karlicoss/cloudmacs

  Selfhost your Emacs and access it in browser

  Language:Shell51620928

• nix-community/nix-doom-emacs

  doom-emacs packaged for Nix [maintainers=@thiagokokada]

  Language:Nix224148643

• incoherentsoftware/defect-process

  Defect Process (2d hack n' slash game) full source code

  Language:Haskell21210814

• rienafairefr/pynYNAB

  a python client for the new YNAB

  Language:JavaScript13875012

• mishoo/elisp-reader.el

  Customizable reader for Emacs Lisp

  Language:Emacs Lisp721157

• haskell/error-messages

  71199018

• haskellfoundation/tech-proposals

  The Haskell Foundation Tech Proposal Process

  Language:Haskell69391329

• epochblue/annoy-a-tron

  None of us is as annoying as all of us.

  Language:AppleScript59718

• reubenharry/haskell-docs

  Language:Haskell593177

• haskellfoundation/haskellfoundation.github.io

  The Haskell Foundation website, hosted by GitHub Pages.

  Language:Nix39148543

• djvelleman/HTPILeanPackage

  Language:Lean244111

• HamzaM3/yes-browser

  Language:Haskell203221

• colindean/hejmo

  My home directory and package management stuff, inelegant as it may be

  Language:Shell173301

• djvelleman/HTPIwL

  Book about using Lean with How To Prove It

  Language:TeX15405

• freckle/stackctl

  Manage CloudFormation Stacks through specifications

  Language:Haskell141331

• tealjulia/book-list

  A non-exhaustive list of nonfiction books that I find interesting and may or may not have helped me as a software engineer/human being.

  13201

• yawaramin/bookmarklets

  Personal collection of useful bookmarklets

  Language:HTML1240

• reactormonk/modules

  An enhanced scrap-your-typeclasses approach

  Language:Haskell85121

• adamperlin/racket

  The Racket repository

  Language:Scheme5200

• togakangaroo/ob-racket

  Org-Mode Babel Support for Racket

  Language:HTML5301

• Langer81/Summer-REU-Research

  A classifier to identify fake news

  Language:Python4112

• aricursion/stlc-lean

  Language:Lean1100

• lolboxen/akka-stream-nats

  Language:Scala1300