holtzermann17's Stars
zealdocs/zeal
Offline documentation browser inspired by Dash
HIPS/autograd
Efficiently computes derivatives of NumPy code.
vysheng/tg
telegram-cli
tridactyl/tridactyl
A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.
taoensso/sente
Realtime web comms library for Clojure/Script
leanprover-community/mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
ellekasai/twemoji-awesome
[Unmaintained] Like Font Awesome, but for Twitter Emoji
arohner/spectrum
clojure/algo.monads
Macros for defining monads, and definition of the most common monads
jblakeman/apt-select
Ubuntu Archive Mirror reporting tool for apt sources configuration.
facundoolano/advenjure
A declarative text adventure engine
latte-central/LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
juxt/mach
A remake of make (in ClojureScript)
flycheck/flycheck-inline
Display Flycheck errors inline
jrnold/beamercolorthemesolarized
Beamer color theme using the Solarized palette
kieranbrowne/clojure-tensorflow
An extremely light layer over TensorFlow's Java api
bnbeckwith/wc-mode
Wordcount minor mode for Emacs
enragedginger/tensorflow-clj
Clojure API for using Google's Tensorflow
fare/fare-quasiquote
Portable implementation of quasiquote for Common Lisp
robertylewis/mathematica
Lean-independent implementation of the MM-Lean link
minrk/archive-gitter
cmungall/cltools
tools for common-logic
interstar/Patterning
Pattern designer in Clojure and Quil
aredington/spegic
clojure.spec + clojure.core.logic + clojure.test.check = ?
leanprover-community/lean-mode-contrib
vaishakbelle/PREGO
Symbolic regression for probabilistic reasoning in mixed discrete-continuous dynamic spaces
vaishakbelle/ALLEGRO
Knowledge-based programming in mixed discrete-continuous dynamic spaces
kendroe/pedantic2
Lean reimplementation of PEDANTIC
project-grasp/lean-workshops
robertylewis/mm_lean