chriskiehl

chriskiehl's Stars

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python71.4k8961.2k6.3k

• preactjs/preact

  ⚛️ Fast 3kB React alternative with the same modern API. Components & Virtual DOM.

  Language:JavaScript36.9k3971.8k2k

• Swordfish90/cool-retro-term

  A good looking terminal emulator which mimics the old cathode display...

  Language:QML22.4k313659855

• twitter/finagle

  A fault tolerant, protocol-agnostic RPC system

  Language:Scala8.8k5524151.5k

• iorate/ublacklist

  Blocks specific sites from appearing in Google search results

  Language:TypeScript5.7k29378300

• cs-books/influential-cs-books

  Most influential books on Computer Science/programming

  5.7k17414502

• hamukazu/lets-get-arrested

  This project is intended to protest against the police in Japan

  Language:HTML4.1k48591.1k

• matthiasn/talk-transcripts

  Transcripts of Clojure-related talks

  2.9k17920287

• metosin/reitit

  A fast data-driven routing library for Clojure/Script

  Language:Clojure1.4k40330257

• clojure/core.typed

  An optional type system for Clojure

  Language:Clojure1.3k80075

• kevinslin/open-cdk

  This guide is an opinionated set of tips and best practices for working with the AWS Cloud Development Kit

  86145443

• shayonj/pg-osc

  Easy CLI tool for making zero downtime schema changes and backfills in PostgreSQL

  Language:Ruby540154319

• fogus/papers-i-love

  Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.

  30219014

• CategoricalData/CQL

  Categorical Query Language IDE

  Language:Java299317023

• idris-hackers/idris-demos

  Collection of Idris tests and demonstration programs

  Language:Idris19012413

• jaspervdj/fugacious

  An example Haskell web application

  Language:Haskell14711011

• chriskiehl/re-wx

  A library for building modern declarative desktop applications in WX.

  Language:Python1378217

• isovector/cornelis

  agda-mode for neovim

  Language:Haskell13489723

• purescript-spec/purescript-spec

  Testing framework for Purescript

  Language:PureScript13496947

• zjhmale/vscode-idris

  Idris for Visual Studio Code

  Language:JavaScript106311121

• conal/talk-2014-bayhac-denotational-design

  Denotational Design: from programs to meanings

  Language:TeX99610

• conal/Collaboration

  Play/learn/work with me

  951601

• hdgarrood/multipac

  multiplayer pacman

  Language:PureScript586215

• intellij-purescript/intellij-purescript

  Purescript intellij plugin

  Language:Kotlin48612715

• JohannesBuchner/zwicky-morphological-analysis

  Zwickys Morphological Analysis implemented in Python

  Language:Python14404

• purescript-react/purescript-react-basic-dom

  Language:PureScript1191819

• CPTNB/rathernot

  For when you'd rather not

  Language:Rust710

• purescript-contrib/purescript-arraybuffer

  Bindings and implementation for mutable JavaScript ArrayBuffers.

  Language:PureScript752414

• sudiptachatterjee/oxford-comma-join

  Language:JavaScript4201

• snorelabs/squilliam

  A DynamoDB item relation handler for Java

  Language:Java2