uemurax

uemurax's Stars

• pola-rs/polars

  Dataframes powered by a multithreaded, vectorized query engine, written in Rust

  Language:Rust29.6k1.9k

• rzk-lang/rzk

  An experimental proof assistant based on a type theory for synthetic ∞-categories.

  Language:Haskell2038

• jonsterling/ocaml-forester

  Mirror of ocaml-forester

  Language:OCaml381

• jonsterling/forest

  My mathematical Zettelkasten, created using forester.

  Language:Shell764

• jonsterling/math

  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

  Language:TeX515

• paolobrasolin/jekyll-sheafy

  Brew your own Stacks Project with Jekyll!

  Language:Ruby91

• paolobrasolin/krater

  Template to effortlessly build math-rich websites

  Language:HTML39

• fsquillace/junest

  The lightweight Arch Linux based distro that runs, without root privileges, on top of any other Linux distro.

  Language:Shell2.1k111

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript2.4k79

• abenori/satysfi-matrixcd

  8

• gfngfn/SATySFi

  A statically-typed, functional typesetting system

  Language:OCaml1.2k83

• ch11ng/exwm

  Emacs X Window Manager

  2.8k135

• master-q/carettah

  Carettah := Make your presentation more fun!

  Language:Haskell93

• yi-editor/yi

  The Haskell-Scriptable Editor

  Language:Haskell1.5k201

• affeldt/ssrcoq-kyoto2015

  Language:Coq2

• abo-abo/avy

  Jump to things in Emacs tree-style

  Language:Emacs Lisp1.7k110

• mooz/keysnail

  Allows you to bind commands to key sequences in Mozilla Firefox

  Language:JavaScript70156

• mjolnirapp/mjolnir

  Lightweight automation and productivity app for OS X

  Language:C5.2k128

• ianyh/Amethyst

  Automatic tiling window manager for macOS à la xmonad.

  Language:Swift14.7k489

• fanglingsu/vimb

  Vimb - the vim like browser is a webkit based web browser that behaves like the vimperator plugin for the firefox and usage paradigms from the great editor vim. The goal of vimb is to build a completely keyboard-driven, efficient and pleasurable browsing-experience.

  Language:C1.3k100

• roundcube/roundcubemail

  The Roundcube Webmail suite

  Language:PHP5.8k1.6k

• yoshihiro503/generaltan

  Another version of ProofGeneral character, じぇねらるたん

  Language:Shell221

• cask/cask

  Project management tool for Emacs

  Language:Emacs Lisp1.3k147

• emacs-helm/helm

  Emacs incremental completion and selection narrowing framework

  Language:Emacs Lisp3.4k390

• melpa/melpa

  Recipes and build machinery for the biggest Emacs package repo

  Language:Emacs Lisp2.7k2.4k

• Homebrew/homebrew-cask

  🍻 A CLI workflow for the administration of macOS applications distributed as binaries

  Language:Ruby20.9k10.7k

• yoshihiro503/ocamltter

  ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OCaml function and you can develop a twitter program interactively.

  Language:OCaml758

• vimpr/vimperator-colors

  colorsheme

  Language:VimL9620

• ciaranm/inkpot

  Inkpot 88/256 Colour Scheme for Vim

  Language:VimL15555

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k359