holtzermann17

holtzermann17's Stars

• LukasNoe/ukrn_otrp

  This is the UK Reproducibility Network's Open and Transparent Research Practices survey analysis tool.

  Language:Jupyter Notebook22

• kettula/jamboard-export

  Export or copy the notes on a Google Jamboard onto the clipboard

  Language:JavaScript4

• Swirrl/matcha

  :tea: An in memory graph database with SPARQL-like DSL for querying Linked Data Models

  Language:Clojure20

• zaeph/ctci

  My solutions for CTCI in Elisp; this is mostly used for Elisp code-fu

  Language:Emacs Lisp3

• aistairc/DeepEventMine

  DeepEventMine: End-to-end Neural Nested Event Extraction from Biomedical Texts

  Language:Python9420

• bnbeckwith/orgmode

  Org-mode parser in Clojure

  Language:Clojure336

• minad/affe

  :monkey: affe.el - Asynchronous Fuzzy Finder for Emacs

  Language:Emacs Lisp2138

• regolith-linux/remontoire

  A keybinding viewer for i3 and other programs.

  Language:Vala688

• purcell/disable-mouse

  Disable the mouse in Emacs

  Language:Emacs Lisp1048

• emacs-helm/helm

  Emacs incremental completion and selection narrowing framework

  Language:Emacs Lisp3.4k390

• rm-hull/big-bang

  ClojureScript event loop abstraction, loosely based on Racket's big-bang and implemented on top of core.async

  Language:Clojure658

• joostkremers/parsebib

  Elisp library for reading .bib files

  Language:Emacs Lisp359

• overvale/dotfiles

  CLI, Emacs, Hammerspoon

  Language:Emacs Lisp201

• dickmao/nndiscourse

  A Gnus backend for Discourse

  Language:Emacs Lisp233

• teesloane/firn

  Org Mode Static Site Generator

  Language:Rust32324

• jscheid/tandem-emacs

  Emacs Plugin for Tandem

  Language:Emacs Lisp141

• magnars/multiple-cursors.el

  Multiple cursors for emacs.

  Language:Emacs Lisp2.3k166

• Vaguery/klapaucius

  A clean, tested, maintainable Push interpreter written in Clojure.

  Language:Clojure312

• compdemocracy/polis

  :milky_way: Open Source AI for large scale open ended feedback

  Language:JavaScript721171

• whacked/transclusion-minor-mode

  emacs minor mode for org-mode file transclusion using embedded overlays

  Language:Emacs Lisp716

• mitch-kyle/ibuffer-dynamic-groups

  Make ibuffer update it's filter groups each time it is invoked according to a list of static filter groups and/or functions which return filter groups.

  Language:Emacs Lisp2

• yuya373/emacs-slack

  slack client for emacs

  Language:Emacs Lisp1.1k117

• ztellman/riddley

  code-walking without caveats

  Language:Clojure19430

• tobytripp/clj-builder

  Docker container for building and deploying clojure applications

  Language:Dockerfile1

• tomekkorbak/active-inference

  A toy model of Friston's active inference in Tensorflow

  Language:Jupyter Notebook398

• ImperialCollegeLondon/M1P1-lean

  Material from M1P1, formalised in Lean

  Language:Lean142

• GaloisInc/lean-llvm

  LLVM support for the lean theorem prover

  Language:Lean311

• combinators/cls-scala

  (CL)S - Combinatory Logic Synthesizer

  Language:Scala122

• ic3guy/quantum

  Qualitative Abstracter for Nonpolynomial Hybrid Systems

  Language:Python1

• YasuakiHonda/qepmax

  Interfacing Qepcad B with Maxima computer algebra system

  Language:Jupyter Notebook61