caryoscelus's repositories
zeronet-conservancy
development branches of zeronet-conservancy
nixpkgs
Nix Packages collection
libre-dazai
Свободные переводы Осаму Дадзая. Libre translations of Osamu Dazai, currently in russian, but other versions are coming soon
crawl
Dungeon Crawl: Stone Soup official repository
bitmapfont2otb
Convert a bitmap font in BDF, PCF, or SFD format to an OpenType Bitmap font using FontForge's API and bdfreader
bitECS
Functional, minimal, data-oriented, ultra-high performance ECS library written in JavaScript
json-canonicalization
JSON Canonicalization Scheme (JCS)
btdht
A python implementation of the Bittorrent DHT (Distributed Hash Table)
roc
A fast, friendly, functional language. Work in progress!
chunks-of-agda
random agda code/proofs playground
js-libp2p
The JavaScript Implementation of libp2p networking stack.
10ten-ja-reader
A browser extension to translate Japanese by hovering over words.
purescript-webrtc
Purescript WebRTC library
caryoscelus.github.io
caryoscelus home page
hired-guns
a game no longer in development
chess-chatter
ld31 project
agda
Agda is a dependently typed programming language / interactive theorem prover.
chainbreaker
Mac OS X Keychain Forensic Tool
rainynite-linaer
mirror of https://notabug.org/caryoscelus/rainynite-linaer
minijuvix
The MiniJuvix compiler
spec
Specifications for the Anoma protocols.
opentoonz
OpenToonz - An open-source full-featured 2D animation creation software
lezvije-travy
a nanowrimo 2019 novel
heavy-bright-sun
A novel that you won't read
Qt-Color-Widgets
see advanced_color_selector branch