Rebecca's repositories
theme-blank
Blank is an empty, basic Publii theme for developers.
alire
Command-line tool from the Alire project and supporting library
alire-index.mac
Index of Alire crate versions catering for macOS idiosyncrasies
als-alire-index
An Alire index to build ada_language_server
blade-ink-java
Inkle Ink runtime implementation in Java
code2prompt
A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.
CompCert
The CompCert formally-verified C compiler
Dot
Standalone app for fully local RAG with Mistral 7B
enchanted
Enchanted is iOS and macOS app for chatting with private self hosted language models such as Llama2, Mistral or Vicuna using Ollama.
gpt-migrate
Easily migrate your codebase from one framework or language to another.
macports-base
The MacPorts command-line client
mastodon
Your self-hosted, globally interconnected microblogging community
micro
A modern and intuitive terminal-based text editor
mojozork
A simple Z-Machine implementation in a single C file. Now with online multiplayer! :)
oberon_stm32f4
Portage of Oberon system to stm32f429i-disco board
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
origin-client
Because the world clearly needs another Multi-User Dungeon.
origin-server
Because the world needs another MUD.
shattered-pixel-dungeon
Shattered Pixel Dungeon is an open-source traditional roguelike dungeon crawler with randomized levels and enemies, and hundreds of items to collect and use. It's based on the source code of Pixel Dungeon, by Watabou.
SRC-OA
Scripture Restoration Collective (Open)
SwiftGodotKick
Create a SwiftGodot + SwiftGodotKit powered project
trendy_terminal
A Windows/Linux library for enabling terminal settings and driving character-by-character input.
VoiceCraft
Zero-Shot Speech Editing and Text-to-Speech in the Wild
winteriscoming
Dark theme with fun and bright foreground colors
writefreely
A clean, Markdown-based publishing platform made for writers. Write together and build a community.