Pinned Repositories
anything
Open anything / QuickSilver-like candidate-selection framework
arvid-glazoom
arvid-google-translate
Translate words and sentences interactively in Emacs using Google Translate
emacs
My emacs configuration files
firephp-chrome
FirePHP as a Chrome extension
my-userscripts
Userscripts written by me
osp_mem
An implementation of the memory module of the Operatings Systems Project
poemizer
timelog-mode
Tools for logging time in Emacs.
ubiquity-commands
Commands for Ubiquity
arvidj's Repositories
arvidj/emacs
My emacs configuration files
arvidj/poemizer
arvidj/leverne-bot
arvidj/adoogle
arvidj/aoc2022
Advent of Code 2022
arvidj/bisect_ppx
Code coverage for OCaml and ReScript
arvidj/casperjs-spider
A configurable spider script for CasperJS
arvidj/Decide
Implementation of "Launch Interceptor Program: Requirements Specification" in Haskell
arvidj/euloge
arvidj/ext-coreapi
http://forge.typo3.org/projects/show/extension-coreapi
arvidj/gc_dev
CLI tools for TYPO3-developers
arvidj/jq-sed
arvidj/jsoo-p5
Js_of_ocaml bindings for the p5.js library
arvidj/LazyLibrarian
This project isn't finished yet. Goal is to create a SickBeard, CouchPotato, Headphones-like application for ebooks. Headphones is used as a base, so there are still a lot of references to it.
arvidj/marge-bot
A merge-bot for GitLab
arvidj/melpa
Recipes and build machinery for the biggest Emacs package repo
arvidj/note-trainer
arvidj/ocaml-gitlab
Native OCaml bindings to Gitlab REST API v4
arvidj/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
arvidj/opam-nix
Turn opam-based OCaml projects into Nix derivations
arvidj/opam-repository
Main public package repository for opam, the source package manager of OCaml.
arvidj/pytezos
🐍 Python SDK & CLI for Tezos | Michelson REPL and testing framework
arvidj/regenerate
Tool to generate test-cases for regular expression engines
arvidj/rust-by-example
Learn Rust with examples (Live code editor included)
arvidj/sccache
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
arvidj/server
Distributed image hosting
arvidj/share-button
fast, beautiful, and painless social shares:
arvidj/sound-status-arvidj.eu
Extension for GNOME Shell 44 that adds a button to the status area containing the current PulseAudio default sink (output) and source (input) in the system menu.
arvidj/taquito
A library for building dApps on the Tezos Blockchain - JavaScript / TypeScript
arvidj/tezos