EdPom

EdPom's Stars

• manifoldco/promptui

  Interactive prompt for command-line applications

  Language:Go6.1k338

• jung-kurt/gofpdf

  A PDF document generator with high level support for text, drawing and images

  Language:Go4.4k794

• gasche/popl2018-papers

  Link to preprints for POPL'18 and colocated events

  8712

• google/netstack

  IPv4 and IPv6 userland network stack

  Language:Go3.1k279

• stryku/ctai

  compile time assembly interpreter

  Language:C++844

• heathermiller/dist-prog-book

  Language:CSS3.4k269

• clintonwoo/hackernews-react-graphql

  Hacker News clone rewritten with universal JavaScript, using React and GraphQL.

  Language:TypeScript4.4k556

• cpitclaudel/company-coq

  A Coq IDE build on top of Proof General's Coq mode

  Language:Emacs Lisp35128

• DeepSpec/dsss17

  Lecture material for DeepSpec Summer School 2017

  Language:Coq8614

• source-foundry/Hack

  A typeface designed for source code

  Language:Shell16.6k616

• mbasso/asm-dom

  A minimal WebAssembly virtual DOM to build C++ SPA (Single page applications)

  Language:C++2.8k89

• Mirantis/k8s-AppController

  AppController is a pod that you can spawn in your Kubernetes cluster which will take care of your complex deployments for you.

  Language:Go22040

• nareix/joy4

  Golang audio/video library and streaming server

  Language:Go2.7k496

• thejsway/thejsway

  The JavaScript Way book

  Language:CSS7.9k801

• uwdb/Cosette

  Cosette is an automated SQL solver.

  Language:Lean66854

• owlbarn/owl

  Owl - OCaml Scientific Computing @ https://ocaml.xyz

  Language:OCaml1.2k124

• lastland/WebSpec

  Language:Coq182

• d4l3k/go-pry

  An interactive REPL for Go that allows you to drop into your code at any point.

  Language:Go3k64

• strace/strace

  strace is a diagnostic, debugging and instructional userspace utility for Linux

  Language:C2.3k435

• openstf/stf

  Control and manage Android devices from your browser.

  Language:JavaScript13.4k2.8k

• leandromoreira/digital_video_introduction

  A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸

  Language:Jupyter Notebook15.6k1.3k

• cilium/cilium

  eBPF-based Networking, Security, and Observability

  Language:Go20.6k3k

• markerikson/react-redux-links

  Curated tutorial and resource links I've collected on React, Redux, ES6, and more

  22.6k2.5k

• python-cachier/cachier

  Persistent, stale-free, local and cross-machine caching for Python functions.

  Language:Python57664

• inhabitedtype/angstrom

  Parser combinators built for speed and memory efficiency

  Language:OCaml66276

• spolu/warp

  Secure and simple terminal sharing

  Language:Go1.6k48

• aalhour/awesome-compilers

  :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

  9k651

• bootlin/elixir

  The Elixir Cross Referencer

  Language:C1k152

• alxrm/presento

  Remote control for presentations

  Language:Go1034

• chrippa/livestreamer

  Command-line utility that extracts streams from various services and pipes them into a video player of choice. No longer maintained, use streamlink or youtube-dl instead.

  Language:Python3.9k579