joelmccracken

joelmccracken's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown313k5.5k69129.1k

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.6k119757349

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k73216142

• whitequark/unfork

  unfork(2) is the inverse of fork(2). sort of.

  Language:C++1.5k24033

• haskell/aeson

  A fast Haskell JSON library

  Language:Haskell1.3k39497321

• graninas/software-design-in-haskell

  Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

  Language:Haskell1.1k55769

• samuela/rustybox

  A free-range, non-GMO fork of busybox in 100% Rust 🦀

  Language:Rust812141733

• thomashoneyman/purescript-halogen-realworld

  Exemplary real world application built with PureScript + Halogen

  Language:PureScript793204287

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq755201970

• i-am-tom/haskell-exercises

  A little course to learn about some of the more obscure GHC extensions.

  Language:Haskell63818396

• ocaml-multicore/eio

  Effects-based direct-style IO for multicore OCaml

  Language:OCaml5592115372

• nh2/static-haskell-nix

  easily build most Haskell programs into fully static Linux executables

  Language:Nix389187235

• emacs-lsp/lsp-haskell

  lsp-mode :heart: haskell

  Language:Emacs Lisp2361510863

• keera-studios/keera-hails

  Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications

  Language:Haskell1951710412

• finkel-lang/finkel

  Haskell in S-expression

  Language:Haskell171662

• tzemanovic/haskell-yesod-realworld-example-app

  Exemplary real world application built with Haskell + Yesod

  Language:Haskell16911326

• NorfairKing/syds-rules-for-sustainable-haskell

  941111

• hamler-lang/docs

  Documentation of Hamler

  777520

• haskellfoundation/matchmaker

  Find your open-soulmate <💜>

  Language:Haskell7511911

• bmillwood/stepeval

  A program for evaluating a Haskell expression step-by-step

  Language:Haskell50315

• haskellfoundation/haskellfoundation.github.io

  The Haskell Foundation website, hosted by GitHub Pages.

  Language:Nix39148543

• 23Skidoo/pointful

  Stand-alone command-line version of the pointful plugin for Lambdabot.

  Language:Haskell26696

• k-bx/github-agent

  Sync issues to your local directory as a git repo

  Language:Haskell10451

• davidsd/hyperion

  A Haskell framework for running concurrent computations on an HPC cluster.

  Language:Haskell9716

• doublecrowngaming/dataflower

  Data flow programming for Haskell

  Language:Haskell81

• foxhound-systems/eved

  Eved is an API definition eDSL in the spirit of Servant

  Language:Haskell8240

• tuturto/deep-sky

  toy simulation about space

  Language:Haskell42180

• schell/the-mutant

  Don't fear the Mutant

  Language:Haskell3

• cprussin/resume

  LaTeX resume class

  Language:TeX2200

• doublecrowngaming/job-scheduler

  Language:Haskell2