EdPom

EdPom's Stars

• ocornut/imgui

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

  Language:C++62.3k10.5k

• pa-ba/calc-comp

  Coq proofs for the paper "Calculating Correct Compilers"

  Language:Coq302

• scmu/aopa

  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

  Language:Agda809

• olistic/warriorjs

  🏰 An exciting game of programming and Artificial Intelligence

  Language:JavaScript9.4k489

• thmsbfft/oryoki

  Ōryōki [応量器] is an experimental web browser with a thin interface.

  Language:JavaScript48232

• shekhargulati/99-problems

  This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.

  Language:Java3.3k916

• facebook/jscodeshift

  A JavaScript codemod toolkit.

  Language:JavaScript9.4k483

• checkcheckzz/system-design-interview

  System design interview for IT companies

  21.9k5.1k

• gautamkrishnar/socli

  Stack overflow command line client. Search and browse stack overflow without leaving the terminal :computer:

  Language:Python1.1k217

• getify/You-Dont-Know-JS

  A book series on JavaScript. @YDKJS on twitter.

  180k33.5k

• caddyserver/caddy

  Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

  Language:Go60k4.1k

• StanfordPL/stoke

  STOKE: A stochastic superoptimizer and program synthesizer

  Language:C++75075

• ldc-developers/ldc

  The LLVM-based D Compiler.

  Language:D1.2k265

• HelloZeroNet/ZeroNet

  ZeroNet - Decentralized websites using Bitcoin crypto and BitTorrent network

  Language:JavaScript18.4k2.3k

• yakyak/yakyak

  Desktop chat client for Google Hangouts

  Language:CoffeeScript3.8k322

• nunoplopes/alive

  Alive: Automatic LLVM's Instcombine Verifier

  Language:Python21922

• xiw/stack

  A static checker for identifying unstable code.

  Language:C++36056

• sustrik/libdill

  Structured concurrency in C

  Language:C1.7k157

• prakhar1989/type-inference

  The Hindley Milner Type Inference Algorithm

  Language:OCaml36518

• rainyear/pytips

  Useful Python tips!

  Language:Jupyter Notebook551100

• driv/upto

  Bash command that allows to go up to a certain directory

  Language:Shell1276

• imatix/gsl

  iMatix GSL code generator

  Language:C539106

• osrg/gobgp

  BGP implemented in the Go Programming Language

  Language:Go3.7k707

• nick8325/quickspec

  Equational laws for free

  Language:Haskell25024

• danr/hipspec

  A hip inductive theorem prover!

  Language:Haskell889

• nedbat/byterun

  A Python implementation of a Python bytecode runner

  Language:Python1.3k262

• reillyeon/figfs

  The Filesystem Interface to Git FileSystem

  134

• delcypher/nsolv

  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.

  Language:C++10

• caradoc-org/caradoc

  A PDF parser and validator

  Language:OCaml29821

• owocki/pytrader

  cryptocurrency trading robot

  Language:Python1.9k429