511121418

511121418's Stars

• ant-design/ant-design

  An enterprise-class UI design language and React UI library

  Language:TypeScript92k49.1k

• desktop/desktop

  Focus on what matters instead of fighting with Git.

  Language:TypeScript19.7k9.4k

• matiassingers/awesome-readme

  A curated list of awesome READMEs

  18k3.8k

• thma/LtuPatternFactory

  Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

  Language:Haskell98739

• picnoir/ex-hack

  Example-based Haskell Documentation Engine

  Language:Haskell593

• digitalocean/nginxconfig.io

  ⚙️ NGINX config generator on steroids 💉

  Language:JavaScript27.6k2k

• angrave/SystemProgramming

  Angrave's Crowd-Sourced System Programming Book used at UIUC

  5.5k767

• phadej/write-yourself-a-typed-functional-language

  Write yourself a typed functional language

  Language:Haskell65

• alexwl/haskell-code-explorer

  Web application for exploring and understanding Haskell codebases

  Language:Haskell51020

• soupi/haskell-study-plan

  An opinionated list of resources for learning Haskell

  86850

• typelead/eta

  The Eta Programming Language, a dialect of Haskell on the JVM

  Language:Haskell2.6k141

• struct/mms

  Modern Memory Safety in C/C++

  1.2k115

• typelevel/cats-collections

  Data structures for pure functional programming in Scala

  Language:Scala55798

• egison/egison

  The Egison Programming Language

  Language:Haskell90932

• abo-abo/oremacs

  My Emacs config

  Language:Emacs Lisp29733

• Gabriella439/post-rfc

  Blog post previews in need of peer review

  2.2k171

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.2k172

• inconvergent/snek

  See https://github.com/inconvergent/weir instead

  Language:Common Lisp74247

• emacs-tw/awesome-emacs

  A community driven list of useful Emacs packages, libraries and other items.

  8.5k556

• bats-core/bats-core

  Bash Automated Testing System

  Language:Shell4.9k420

• SPY/haskell-wasm

  Haskell WebAssembly Toolkit

  Language:Haskell14924

• YerkoPalma/duotone-generator

  :nail_care: generate duotone atom themes with contrast checker

  Language:JavaScript3

• mswift42/themecreator

  https://mswift42.github.io/themecreator/ create themes for intellij, textmate, textadept, atom, emacs, vim and gnome terminal.

  Language:Clojure40433

• idris-hackers/software-foundations

  Software Foundations in Idris

  Language:Idris45234

• redguardtoo/mastering-emacs-in-one-year-guide

  Be great at emacs in one year

  6.4k898

• funcool/cats

  Category Theory and Algebraic abstractions for Clojure and ClojureScript.

  Language:Clojure94066

• uncomplicate/fluokitten

  Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

  Language:Clojure46635

• smallhadroncollider/ascii-runner

  An infinite runner in your terminal

  Language:Haskell1046

• grin-compiler/grin

  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

  Language:Haskell1k36

• prakhar1989/awesome-courses

  :books: List of awesome university courses for learning Computer Science!

  56.8k8.1k