Ben Ide's repositories

reproducible-latex

Nix flake template for reproducible latex documents

Language:NixStargazers:7Issues:1Issues:0

emacs-config

Emacs configuration using Elpaca

Language:Emacs LispStargazers:4Issues:1Issues:0

lilypond-mode

lilypond-mode for Emacs

Language:Emacs LispStargazers:2Issues:1Issues:0

GrayCodeIterator.jl

Julia iterator for fixed weight binary vectors

Language:JuliaLicense:MITStargazers:1Issues:1Issues:1
Language:JuliaStargazers:0Issues:0Issues:0

airline-themes

vim-airline themes for emacs powerline

Language:Emacs LispLicense:MITStargazers:0Issues:1Issues:0

cdlatex

Fast input methods for LaTeX environments and math

Language:Emacs LispStargazers:0Issues:1Issues:0

CodingTheory

A basic coding theory library for Julia.

Language:JuliaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:JuliaLicense:MITStargazers:0Issues:0Issues:0

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

Language:NixStargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:1Issues:0

hugo-bare-min-theme

A bare minimum theme for Hugo (https://gohugo.io) to help develop and debug Hugo sites -- https://hugo-bare-min.netlify.com/,

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0
Language:JuliaStargazers:0Issues:0Issues:0

org-ref-ox-hugo

org-ref overrides to play nice with ox-hugo

Language:Emacs LispStargazers:0Issues:1Issues:0

org-roam

Rudimentary Roam replica with Org-mode

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:1Issues:0

Plots.jl

Powerful convenience for Julia visualizations and data analysis

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:Emacs LispStargazers:0Issues:1Issues:0

SemanticModels.jl

A julia package for representing and manipulating model semantics

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0
Language:JuliaLicense:MITStargazers:0Issues:1Issues:0
Language:PHPLicense:GPL-3.0Stargazers:0Issues:1Issues:0

zotero-scihub

A plugin that will automatically download PDFs of zotero items from sci-hub

Language:JavaScriptLicense:AGPL-3.0Stargazers:0Issues:1Issues:0