#
sierpinskiii
Follow
Lists (3)
Starred repositories
Emacs support for the Clojure(Script) programming language
bridge between mattermost, IRC, gitter, xmpp, slack, discord, telegram, rocketchat, twitch, ssh-chat, zulip, whatsapp, keybase, matrix, microsoft teams, nextcloud, mumble, vk and more with REST API…
A formal consistency proof of Quine's set theory New Foundations
The Programmable Cypher-based Neuro-Symbolic AGI that lets you program its behavior using Graph-based Prompt Programming: for people who want AI to behave as expected
Present anything Emacs can do with programmable, extensible, configurable slides & presentation steps made from org mode headings
tools for "Subete ga F ni naru" Ending
A reference implementation for the specification that can create and configure a dev container from a devcontainer.json.
Scripts and configurations to leverage lsp-mode in docker environment
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
A nearly-live implementation of OpenAI's Whisper.
🦜🔗 Build context-aware reasoning applications
Real time transcription with OpenAI Whisper.
🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production
Kaishi 1.5k is a modern, modular Japanese Anki deck made for beginners who want to learn basic vocabulary.
Common Lisp source code from Iwakura Lain's HandiNAVI displayed in Layer:07
Mirror of the crdt package from GNU ELPA, current as of 2025-05-05
An HTML documentation generator for Coq source files
Translate PDF, EPub, webpage, metadata, annotations, notes to the target language. Support 20+ translate services.
Emacs package to create and retrieve bibliography notes with the Citar and Denote packages.
Make Zotero effective for us LaTeX holdouts
Activities for Emacs (suspend and resume activities, i.e. frames/tabs and their windows, buffers)
A game engine powered by python and panda3d.
