matthewjwoodruff

matthewjwoodruff's Stars

• mtdvio/every-programmer-should-know

  A collection of (mostly) technical things every software developer should know about

  77.8k2k457.4k

• ocornut/imgui

  Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

  Language:C++57.8k1k5.8k9.9k

• terryum/awesome-deep-learning-papers

  The most cited deep learning papers

  Language:TeX25.3k2k264.5k

• kdeldycke/awesome-falsehood

  😱 Falsehoods Programmers Believe in

  23.3k37229543

• kovidgoyal/kitty

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

  Language:Python22.8k1815.4k924

• mawww/kakoune

  mawww's experiment for a better code editor

  Language:C++9.7k1122.8k706

• kjw0612/awesome-rnn

  Recurrent Neural Network - A curated list of resources dedicated to RNN

  6k61851.4k

• red/red

  Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!

  Language:Red5.5k2094k416

• ruiqimao/keyboard-pcb-guide

  Guide on how to design keyboard PCBs with KiCad

  4.2k14223304

• pixie-lang/pixie

  A small, fast, native lisp with "magical" powers

  Language:Python2.3k104175124

• IUCompilerCourse/Essentials-of-Compilation

  A book about compiling Racket and Python to x86-64 assembly

  Language:TeX1.2k53104135

• mmstick/parallel

  This project now lives on in a rewrite at https://gitlab.redox-os.org/redox-os/parallel

  Language:Rust1.2k176336

• shagunsodhani/papers-I-read

  A-Paper-A-Week

  Language:HTML943134480

• LispCookbook/cl-cookbook

  The Common Lisp Cookbook

  Language:JavaScript90846174137

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++80128609181

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq644472783

• openglsuperbible/sb6code

  Source code for OpenGL SupeBible 6th Edition examples

  Language:C4825525178

• kiselgra/c-mera

  Next-level syntax for C-like languages :)

  Language:Common Lisp4001710317

• toidiu/learn-rust

  Language:Rust35412213

• 42wim/matterircd

  Connect to your mattermost or slack using your IRC-client of choice.

  Language:Go2902033561

• martinescardo/TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  Language:Agda220153540

• historicalsource/planetfall

  Planetfall, by Steve Meretzky (Infocom)

  Language:ZAP15812124

• forthy42/gforth

  Gforth mirror on GitHub (original is on Savannah)

  Language:Forth144183027

• jdherman/ptreeopt

  Policy tree optimization: Heuristic policy search for control of dynamic systems. Uses genetic programming to develop binary trees relating observed indicator variables to actions, either real-valued or discrete.

  Language:Python32457

• pklausler/aoeui

  Automatically exported from code.google.com/p/aoeui

  Language:C19042

• darius/mccarthy-to-bryant

  Propositional logic in terms of if-then-else

  Language:Python152

• standardebooks/anton-chekhov_short-fiction_constance-garnett

  Epub source for the Standard Ebooks edition of Short Fiction, by Anton Chekhov. Translated by Constance Garnett

  Language:HTML112

• IllinoisSimulatorLab/szg

  Cross-platform PC-cluster VR

  Language:C++340

• uranusjr/pystandardpaths

  Cross-platform standard paths access in pure Python, based on QStandardPaths in Qt 5.

  Language:Python33

• DecisionVis/deltamoea

  δMOEA is an optimization library that helps people make better decisions using computer models of a problem domain.

  Language:Python2300