BlackCapCoder

BlackCapCoder's Stars

• arrow-kt/arrow

  Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

  Language:Kotlin6.3k901k450

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.3k61534175

• xmonad/xmonad

  The core of xmonad, a small but functional ICCCM-compliant tiling window manager

  Language:Haskell3.4k80306295

• polysemy-research/polysemy

  :gemini: higher-order, no-boilerplate monads

  Language:Haskell1k2924973

• workman-layout/Workman

  Workman keyboard layout

  Language:Shell9232856113

• reeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee/reeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  reeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  Language:C712112856

• llvm-hs/llvm-hs

  Haskell bindings for LLVM

  Language:LLVM51422191121

• isovector/thinking-with-types

  📖 source material for Thinking with Types

  Language:Haskell480211943

• andreas-abel/nanoBench

  A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.

  Language:Python451242356

• tomsmalley/custom-topre-guide

  Guidelines for designing a custom Topre keyboard

  41735132

• Gabriella439/Haskell-Morte-Library

  A bare-bones calculus-of-constructions

  Language:Haskell375264725

• recursion-schemes/recursion-schemes

  Generalized bananas, lenses and barbed wire

  Language:Haskell342197056

• cslarsen/wpm

  Typeracer-like console app for measuring your WPM

  Language:Python323125249

• awgn/cat

  C++20 functional library

  Language:C++29528430

• goldfirere/singletons

  Fake dependent types in Haskell using singletons

  Language:Haskell2881739937

• kana/vim-arpeggio

  Vim plugin: Mappings for simultaneously pressed keys

  Language:Vim script272103019

• DanBurton/tardis

  Language:Haskell11011125

• mikeizbicki/ifcxt

  constraint level if statements

  Language:Haskell1109310

• rameshvarun/Dygra

  A real-time non-euclidean ray-tracer.

  Language:C++941014

• moonad-archive/Formality-JavaScript

  An implementation of the Formality language in JavaScript

  Language:JavaScript721514

• pdtournament/pdtournament

  Iterated prisoner's dilemma tournament with bots that can perfectly simulate each other.

  Language:Haskell72648

• Vector35/asmx86

  Language:C++6726114

• discus-lang/salt

  The compilation target that functional programmers always wanted.

  Language:Haskell62813

• GregoryComer/rust-x86asm

  A Rust library for x86/64 assembly/disassembly.

  Language:Rust507611

• anschnapp/move-less

  vim plugin for faster navigation without moving the cursor position (look up/down/middle; scroll up/down/both, fold two distance places permanent together)

  Language:Vim script42331

• rampion/tree-traversals

  Functions and newtype wrappers for traversing Trees

  Language:Haskell30332

• xldenis/ill

  educational compiler for not (quite) toy languages

  Language:Haskell20270

• clash-lang/ghc-typelits-knownnat

  Derive KnownNat constraints from other KnownNat constraints

  Language:Haskell14121510

• clemahieu/mu

  Mu is a modern, modular, system programming language and scripting toolchain

  Language:C++11404

• strake/category.hs

  Language:Haskell4321