phikal Goto Github PK

0.30000000000000004

Floating Point Math Examples

4jhan-server

A minimal JSON imageboard.

adora-belle

A simple helpdesk tailored for use in remote-only university exercises

agda

Agda is a dependently typed programming language / interactive theorem prover.

aoc2018

My Advent of Code solutions in AWK (currently on halt, no time)

aria2

aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.

autocrypt

Convenient End-to-End Encryption for E-Mail

avy

Jump to things in Emacs tree-style

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

baccumulation

bqn-mode

Emacs mode for BQN programming language

brainduck

Some experiments with the brainduck language

breadcrumb

I hate forking projects on GitHub

buffer-env

Buffer-local process environments for Emacs

cdlatex

Fast input methods to enter LaTeX environments and math with GNU Emacs

cl-glpk-1

Common Lisp interface to GLPK (GNU Linear Programming Kit). This is a fork of Kai Kaminski’s original (http://common-lisp.net/project/cl-glpk/).

comint-mime

Display graphics and other MIME attachments in Emacs shells

coq-elpi

Coq plugin embedding elpi

corfu

:desert_island: corfu.el - Completion Overlay Region FUnction

dictionary-el

dimmer.el

Interactively highlight which buffer is active by dimming the others.

docker-tramp.el

TRAMP integration for docker containers

doji

Video sync-website (site not public)

dumb-jump

an Emacs "jump to definition" package for 40+ languages

ed-mode

ed for Emacs

editorconfig-emacs

EditorConfig plugin for Emacs

eglot

A client for Language Server Protocol servers

elm-mode

Elm mode for emacs

elpi

Embeddable Lambda Prolog Interpreter

elsa

Emacs Lisp Static Analyzer