8000 holtzermann17 (Joe Corneli) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View holtzermann17's full-sized avatar

Organizations

@kmi @ElTarot @Peeragogy @BioBib @planetmath

Block or report holtzermann17

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Dynamic menu library and client program inspired by dmenu

C 1,332 96 Updated Oct 12, 2024

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

Jupyter Notebook 2 2 Updated Jul 17, 2024

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

JavaScript 4 Updated Sep 23, 2021

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

Clojure 22 Updated Jun 1, 2025

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

Emacs Lisp 3 Updated Sep 30, 2021

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

Python 95 20 Updated Oct 26, 2022

Org-mode parser in Clojure

Clojure 35 7 Updated May 14, 2022

🐒 affe.el - Asynchronous Fuzzy Finder for Emacs

Emacs Lisp 240 10 Updated Jun 17, 2025

A keybinding viewer for i3 and other programs.

Vala 71 9 Updated May 11, 2025

Disable the mouse in Emacs

Emacs Lisp 104 7 Updated Nov 20, 2024

Emacs incremental completion and selection narrowing framework

Emacs Lisp 3,423 392 Updated Jun 18, 2025

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

Clojure 66 9 Updated Nov 23, 2014

Elisp library for reading .bib files

Emacs Lisp 38 9 Updated Mar 16, 2025

CLI, Emacs, Hammerspoon

Emacs Lisp 21 1 Updated Aug 28, 2023

A Gnus backend for Discourse

Emacs Lisp 25 4 Updated May 8, 2025

Org Mode Static Site Generator

Rust 328 22 Updated Aug 2, 2022

Emacs Plugin for Tandem

Emacs Lisp 13 1 Updated Mar 17, 2018

Multiple cursors for emacs.

Emacs Lisp 2,366 168 Updated Feb 10, 2025

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

Clojure 31 2 Updated Feb 10, 2018

🌌 Open Source AI for large scale open ended feedback

Python 892 210 Updated Jun 18, 2025

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

Emacs Lisp 71 6 Updated Apr 6, 2021

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.

Emacs Lisp 2 Updated Nov 8, 2020

slack client for emacs

Emacs Lisp 1,168 122 Updated Jun 5, 2025

code-walking without caveats

Clojure 196 30 Updated Sep 4, 2022

Docker container for building and deploying clojure applications

Dockerfile 1 Updated Sep 14, 2018

A toy model of Friston's active inference in Tensorflow

Jupyter Notebook 41 8 Updated Jul 28, 2017

Material from M1P1, formalised in Lean

Lean 15 2 Updated Nov 2, 2019

LLVM support for the lean theorem prover

Lean 48 2 Updated Sep 14, 2021

(CL)S - Combinatory Logic Synthesizer

Scala 12 2 Updated Oct 1, 2021

Qualitative Abstracter for Nonpolynomial Hybrid Systems

Python 1 Updated Nov 11, 2014
Next
0