matthewjwoodruff

matthewjwoodruff's Stars

• mtdvio/every-programmer-should-know

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

  85.7k2k517.9k

• ocornut/imgui

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

  Language:C++62.3k1k6.1k10.5k

• kovidgoyal/kitty

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

  Language:Python25.7k1835.8k1k

• terryum/awesome-deep-learning-papers

  The most cited deep learning papers

  Language:TeX25.6k2k264.5k

• kdeldycke/awesome-falsehood

  😱 Falsehoods Programmers Believe in

  25k37730582

• mawww/kakoune

  mawww's experiment for a better code editor

  Language:C++10.1k1152.8k720

• kjw0612/awesome-rnn

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

  6.1k61451.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.6k2044k414

• ruiqimao/keyboard-pcb-guide

  Guide on how to design keyboard PCBs with KiCad

  4.4k14123310

• pixie-lang/pixie

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

  Language:Python2.4k104175124

• IUCompilerCourse/Essentials-of-Compilation

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

  Language:TeX1.3k52113143

• mmstick/parallel

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

  Language:Rust1.2k176331

• shagunsodhani/papers-I-read

  A-Paper-A-Week

  Language:HTML943130478

• LispCookbook/cl-cookbook

  The Common Lisp Cookbook

  Language:JavaScript93743184138

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++83028620185

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq677452786

• openglsuperbible/sb6code

  Source code for OpenGL SupeBible 6th Edition examples

  Language:C4845526176

• kiselgra/c-mera

  Next-level syntax for C-like languages :)

  Language:Common Lisp4121810318

• toidiu/learn-rust

  Language:Rust35512213

• 42wim/matterircd

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

  Language:Go2962033960

• martinescardo/TypeTopology

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

  Language:Agda237163741

• historicalsource/planetfall

  Planetfall, by Steve Meretzky (Infocom)

  Language:ZAP16312124

• forthy42/gforth

  Gforth mirror on GitHub (original is on Savannah)

  Language:Forth155193329

• 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:Python15412

• 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:HTML122

• IllinoisSimulatorLab/szg

  Cross-platform PC-cluster VR

  Language:C++3400

• uranusjr/pystandardpaths

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

  Language:Python3313

• DecisionVis/deltamoea

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

  Language:Python2300