Beast code in Giters

Andreas Herrmann's starred repositories

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

291070 5288 653

FiraCode

Free monospaced font with programming ligatures

Language:ClojureOFL-1.176300 715 1324

alacritty

A cross-platform, OpenGL terminal emulator.

Language:RustApache-2.054934 453 5717

tqdm

:zap: A Fast, Extensible Progress Bar for Python and CLI

Language:PythonNOASSERTION28052 207 985

Iosevka

Versatile typeface for code, from code.

Language:JavaScriptOFL-1.118805 194 1898

altair

Declarative statistical visualization library for Python

Language:PythonBSD-3-Clause8875 140 1931

monoid

Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/

Language:Python7851 101 197

awesome-recursion-schemes

Resources for learning and using recursion schemes.

1210 45 6

rapidcheck

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Language:C++BSD-2-Clause984 37 176

daml

The Daml smart contract language

Language:ScalaApache-2.0791 33 3395

brittany

haskell source code formatter

Language:HaskellAGPL-3.0687 21 288

nix-tree

Interactively browse dependency graphs of Nix derivations.

Language:HaskellBSD-3-Clause670 7 44

rasa

Extremely modular text editor built in Haskell

Language:HaskellGPL-3.0613 26 35

build-server-protocol

Protocol for IDEs and build tools to communicate about compile, run, test, debug and more.

Language:ScalaApache-2.0441 26 113

nixos-config

My NixOS configuration files. (This public mirror is not updated anymore.)

Language:Nix120 6 3

distributed-dataset

A distributed data processing framework in Haskell.

Language:HaskellBSD-3-Clause114 13 22

hypertypes

Hypertypes - generic programming for heterogeneous recursive types

Language:HaskellBSD-3-Clause107 10 16

exference

Haskell tool to generate expressions from types

Language:HaskellNOASSERTION101 8 6

versioning

Type-safe data versioning.

Language:Haskell98 8 8

fitspec

refine properties for testing Haskell programs

Language:HaskellBSD-3-Clause75 12 1

tensor-ops

Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation

Language:HaskellBSD-3-Clause59 11 5

sad.vim

Quick search and replace for Vim

Language:Vim ScriptMIT45 3 16

long-shebang

A tool for #! scripts with more than one argument

Language:CMIT41 5 1

haskell-player

A terminal music player based on afplay

Language:HaskellBSD-3-Clause38 3 11

paris-fp

Paris Functional Programming Meetup

Language:HaskellNOASSERTION27 8 1

reflex-host-examples

Language:HaskellBSD-3-Clause18 6 1

diplomacy

The board game Diplomacy, spoken in Haskell

Language:HaskellBSD-3-Clause12 4 2

data-bitcode-llvm

Data.BitCode.LLVM

Language:HaskellBSD-3-Clause9 50

subzelle

Gazelle plugin that executes a subplugin and communicates the language interface over gRPC

Language:Go8 30

pogoloniex

A client for the Poloniex api written in go

Language:Go2 2 1