ericqweinstein

ericqweinstein's Stars

• adereth/dactyl-keyboard

  Parameterized ergonomic keyboard

  Language:OpenSCAD2.9k845

• wolfadex/elm-server

  A web server written in Elm + Deno

  Language:Elm121

• facebookincubator/retrie

  Retrie is a powerful, easy-to-use codemodding tool for Haskell.

  Language:Haskell50230

• A1kmm/proofsweeper

  Play Minesweeper by formally proving your moves in Idris

  Language:Haskell1663

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.8k270

• dwmkerr/hacker-laws

  💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws

  Language:Shell25.8k1.5k

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11k592

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell87.8k5.7k

• gel-rb/gel

  A modern gem manager: Gel is a lightweight alternative to Bundler

  Language:Ruby78427

• testdouble/testdouble.js

  A minimal test double library for TDD with JavaScript

  Language:JavaScript1.4k142

• noelrappin/deckset_editor

  An attempt to build a simple editor for Deckset (https://www.decksetapp.com) using Electron and Elm

  Language:Elm31

• rbspy/rbspy

  Sampling CPU profiler for Ruby

  Language:Rust2.5k100

• eatonphil/ponyo

  Library and Toolkit for Standard ML

  Language:Standard ML1447

• testdouble/teenytest

  A very simple, zero-config test runner for Node.js

  Language:JavaScript9614

• testdouble/ought

  A dumb assertion library with smart diffs for JavaScript

  Language:JavaScript34

• pim-book/programmers-introduction-to-mathematics

  Code for A Programmer's Introduction to Mathematics

  Language:JavaScript3.4k285

• standardrb/standard

  Ruby's bikeshed-proof linter and formatter 🚲

  Language:Ruby2.7k210

• blacktm/ruby-wasm

  A Ruby gem to quickly get started with WebAssembly

  Language:C23619

• cedille/cedille

  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  Language:Agda36527

• ericqweinstein/wyvern

  A little web server written in Idris.

  Language:Idris6

• vindaloo-thesis/idris-se

  Idris to Serpent back end for Ethereum smart contracts

  Language:Haskell323

• kadena-io/pact

  The Pact Smart Contract Language

  Language:Haskell58199

• fergarrui/ethereum-security

  Security issues in Ethereum demonstrated in mocha tests. The fix is also demonstrated

  Language:JavaScript14018

• denysdovhan/wtfjs

  🤪 A list of funny and tricky JavaScript examples

  Language:JavaScript35.2k2.6k

• rameshvarun/NeuralKart

  A Real-time Mario Kart 64 AI using ConvNets.

  Language:Lua66354

• soskek/dynamic_routing_between_capsules

  Implementation of Dynamic Routing Between Capsules, Sara Sabour, Nicholas Frosst, Geoffrey E Hinton, NIPS 2017

  Language:Python20474

• gyang274/capsulesEM

  A tensorflow implementation of Hinton's [matrix capsules with EM routing](https://openreview.net/pdf?id=HJWLfGWRb)

  Language:Python6231

• bitemyapp/learnhaskell

  Learn Haskell

  Language:Makefile8k552

• ethereum/solidity

  Solidity, the Smart Contract Programming Language

  Language:C++23.3k5.8k

• ethereum/mist

  [DEPRECATED] Mist. Browse and use Ðapps on the Ethereum network.

  Language:JavaScript7.4k2.1k