emilyhorsman

emilyhorsman's Stars

• kovidgoyal/kitty

  Cross-platform, fast, feature-rich, GPU based terminal

  Language:Python26k1855.8k1k

• iced-rs/iced

  A cross-platform GUI library for Rust, inspired by Elm

  Language:Rust25.4k1961.1k1.2k

• mdx-js/mdx

  Markdown for the component era

  Language:JavaScript18k886751.1k

• emotion-js/emotion

  👩‍🎤 CSS-in-JS library designed for high performance style composition

  Language:JavaScript17.6k961.7k1.1k

• 11ty/eleventy

  A simpler site generator. Transforms a directory of templates (of varying types) into HTML.

  Language:JavaScript17.5k872.5k502

• onivim/oni

  Oni: Modern Modal Editing - powered by Neovim

  Language:TypeScript11.3k2131.3k298

• eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee/eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  Language:Python10.2k126234696

• qvacua/vimr

  VimR — Neovim GUI for macOS in Swift

  Language:Swift6.7k117935219

• ledger/ledger

  Double-entry accounting system with a command-line reporting interface

  Language:C++5.4k1111.6k513

• facebook/duckling

  Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

  Language:Haskell4.1k80409729

• googlemaps/android-maps-utils

  Maps SDK for Android Utility Library

  Language:Java3.6k1926131.5k

• WebReflection/hyperHTML

  A Fast & Light Virtual DOM Alternative

  Language:HTML3.1k83273113

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.6k663.9k365

• tweag/asterius

  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

  Language:Haskell2k7429358

• dessalines/essays

  A few essays on communism

  Language:SCSS1.5k87108173

• bastibe/org-journal

  A simple org-mode based journaling mode

  Language:Emacs Lisp1.3k30333123

• jserv/mini-arm-os

  Build a minimal multi-tasking OS kernel for ARM from scratch

  Language:C1.1k7412244

• mathjax/MathJax-node

  MathJax for Node

  Language:JavaScript6153628697

• isovector/thinking-with-types

  📖 source material for Thinking with Types

  Language:Haskell480211943

• talyssonoc/react-katex

  Display math in TeX with KaTeX and ReactJS

  Language:JavaScript419134254

• adafruit/Adafruit_Python_BluefruitLE

  Python library to simplify access to Bluetooth low energy devices and services on Linux (using bluez) and Mac OSX.

  Language:Python3943534129

• snowleopard/build

  Build Systems à la Carte

  Language:TeX24811618

• adafruit/Adafruit_BluefruitLE_nRF51

  Arduino library for nRF51822-based Adafruit Bluefruit LE modules

  Language:C++1993943120

• BSA-US/dual-power-app

  The Dual Power App is an app for democratic digital organizing and secure social networking that provides frameworks for the building of direct democracy in every single sphere of society, with tools for organization founding, funding, governance, and internal + external communications.

  Language:TypeScript196505822

• facebookarchive/flow-language-server

  An implementation of the Language Server Protocol for Flow

  Language:JavaScript188182321

• dls/house

  Haskell Operating System

  1527110

• tannerryan/ring

  Package ring provides a high performance and thread safe Go implementation of a bloom filter.

  Language:Go1381317

• quephird/CustomKeyboards

  A repository containing all of my custom keyboards for iOS

  Language:Swift144161

• josephjunker/irresponsible-use-of-js-destructuring

  Write entire programs in a destructuring statement!

  Language:JavaScript4000

• riley-ashton/Naive-Substring-DFA-Generator

  Generates a unoptimized DFA diagram of a machine that only accepts strings whose substrings of a given length match a given predicate

  Language:Python1000