josefs

josefs's Stars

• ytdl-org/youtube-dl

  Command-line program to download videos from YouTube.com and other video sites

  Language:Python132k2.2k26.6k10k

• hakimel/reveal.js

  The HTML Presentation Framework

  Language:JavaScript67.7k1.7k2.4k16.6k

• Wilfred/difftastic

  a structural diff that understands syntax 🟥🟩

  Language:Rust20.6k59592333

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp19.3k2334.5k3k

• WebAssembly/design

  WebAssembly Design Documents

  11.4k753818696

• i-tu/Hasklig

  Hasklig - a code font with monospaced ligatures

  Language:Python5.6k82107155

• keon/awesome-bits

  :computer: A curated list of awesome bitwise operations and tricks

  3.1k8310213

• adereth/dactyl-keyboard

  Parameterized ergonomic keyboard

  Language:OpenSCAD2.9k14859842

• jaspervdj/patat

  Terminal-based presentations using Pandoc

  Language:Haskell2.4k337560

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.3k23138133

• reanimate/reanimate

  Haskell library for building declarative animations based on SVG graphics

  Language:Haskell1.1k278761

• MITDDC/zork

  Source code for a 1977 version of Zork

  971413108

• jaor/xmobar

  A minimalistic status bar

  77424349194

• josefs/Gradualizer

  A Gradual type system for Erlang

  Language:Erlang6122122635

• jwbuurlage/category-theory-programmers

  Category theory in the context of (functional) programming

  51330438

• facebookincubator/retrie

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

  Language:Haskell501254130

• HigherOrderCO/hvm-core

  Language:Rust477161631

• gasche/icfp2016-papers

  Link to preprints for ICFP'16 and co-located events

  14024023

• baig/pandoc-csv2table

  A Pandoc filter that renders CSV as Pandoc Markdown Tables.

  Language:Haskell9763613

• faern/forkjoin

  A work stealing fork-join parallelism library for Rust

  Language:Rust56612

• phoityne/hdx4vsc

  Haskell Debugger Extension for Visual Studio Code.

  Language:TypeScript507289

• dpiponi/provability

  Some tools for provability logic

  Language:Haskell36401

• zuiderkwast/erlang_abstract_format

  Documentation of Erlang Abstract Format

  Language:Erlang29401

• phoityne/haskell-dap

  Haskell implementation of DAP interface data.

  Language:Haskell243123

• alexanderGugel/spin

  Elegant, emoji-based loading spinners to make your Haskell CLI applications more beautiful.

  Language:Haskell19411

• mchakravarty/gloss-game

  A convenience wrapper around the Gloss library to make writing games in Haskell even easier

  Language:Haskell18415

• jankner/meta-repa

  Language:Haskell92

• gergoerdi/cubical-freemonoids

  Free monoids take a price HIT

  Language:TeX330

• josefs/sbv

  Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

  Language:Haskell130

• majstroll/Hackage-Querying-Tool

  Language:Haskell1100