-
awesome-advent-of-code Public
Forked from Bogdanp/awesome-advent-of-codeA collection of awesome resources related to the yearly Advent of Code challenge.
UpdatedSep 30, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
-
-
dotfiles Public
A collection of my dotfiles
-
borg-backup-exclusions-macos Public
Forked from SterlingHooten/borg-backup-exclusions-macosExclusion rules for Borg Backup catered to macOS
GNU General Public License v3.0 UpdatedJul 7, 2024 -
siraben-overlay Public
@siraben's eclectic collection of software
-
haskell-tree-sitter Public
Forked from tree-sitter/haskell-tree-sitterHaskell bindings for tree-sitter
Haskell UpdatedJun 25, 2024 -
emotivoice-cli Public
CLI wrapper around Emotivoice TTS Synthesis
-
chinese-sentence-miner Public
Forked from Destaq/chinese-sentence-minerFind Chinese sentences based on your known vocabulary and other rules
Python MIT License UpdatedMay 25, 2024 -
r216-forth Public
A Forth implementation for the R216K8B Powder Toy computer.
-
ti84-forth Public
A Forth implementation for the TI-84+ calculator.
-
bf Public
Fast, simple brainfuck interpreter in C
-
echidna Public
Forked from crytic/echidnaEthereum smart contract fuzzer
Solidity GNU Affero General Public License v3.0 UpdatedMay 3, 2024 -
zkeme80 Public
An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
-
hevm Public
Forked from ethereum/hevmsymbolic EVM evaluator
Haskell GNU Affero General Public License v3.0 UpdatedMar 4, 2024 -
-
nix-gccemacs-darwin Public
Forked from twlz0ne/nix-gccemacs-darwinBuild gccemacs for macOS 10.15 or newer using Nix.
-
coq-wigderson Public
Formalization of Wigderson's graph coloring algorithm in Coq
-
llama.cpp Public
Forked from ggerganov/llama.cppPort of Facebook's LLaMA model in C/C++
C MIT License UpdatedJul 24, 2023 -
heptapod-diffusion Public
Generating Heptapod writing with Stable Diffusion
-
hs-opt-handbook.github.io Public
Forked from haskellfoundation/hs-opt-handbook.github.ioThe Haskell Optimization Handbook
HTML Creative Commons Attribution 4.0 International UpdatedJun 29, 2023 -
evm-assembler Public
No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)
-
lens-optics-profiling Public archive
Haskell Lens vs Optics Performance Under Profiling
Nix MIT License UpdatedJun 20, 2023 -
-
senior-thesis Public
LaTeX sources for my undergraduate thesis
-
homebrew-cask Public
Forked from Homebrew/homebrew-cask🍻 A CLI workflow for the administration of Mac applications distributed as binaries
Ruby BSD 2-Clause "Simplified" License UpdatedMay 8, 2023 -
discord-voice-to-text Public
Forked from NilsIrl/discord-voice-to-textspeech-to-text on voice messages
Python GNU Affero General Public License v3.0 UpdatedApr 30, 2023 -
llama-bot Public
Discord bot for interacting with the LLaMA language model
-
SwagLyrics-For-Spotify Public
Forked from SwagLyrics/SwagLyrics-For-Spotify📃 Get lyrics of currently playing Spotify song so you don't sing along with the wrong ones and embarrass yourself later. Very fast.
-
styx Public
Forked from styx-static/styxStatic site generator in Nix expression language.
Nix MIT License UpdatedMar 2, 2023