derpyxd's Stars
shaRk-033/ai.c
gpt written in plain c
zootedb0t/citruszest.nvim
A vibrant and refreshing neovim colorscheme inspired by citrus fruits.
typesense/typesense
Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences
HigherOrderCO/monobook
AGDA
purescript-hyper/hyper
Type-safe, statically checked composition of HTTP servers
transmission-remote-gui/transgui
🧲 A feature rich cross platform Transmission BitTorrent client. Faster and has more functionality than the built-in web GUI.
TeamHypersomnia/Hypersomnia
Multiplayer top-down shooter made from scratch in C++. Play in your Browser! https://hypersomnia.io Made in 🇵🇱
OpenStarbound/OpenStarbound
gshen42/HasChor
Functional choreographic programming in Haskell
docmost/docmost
Docmost is an open-source collaborative wiki and documentation software. It is an open-source alternative to Confluence and Notion.
aeria-org/aeria
A web framework for MongoDB
preservim/vim-colors-pencil
Light (& dark) color scheme inspired by iA Writer
pineapplegiant/spaceduck
🚀 🦆 An intergalactic space theme for Vim, Terminal, and more!
lifepillar/vim-colortemplate
The Toolkit for Vim Color Scheme Designers!
jaredgorski/SpaceCamp
🔭 Vim colors for the final frontier
lsrcz/grisette
A monadic library for symbolic evaluation
servo/servo
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
gigobyte/purify
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
gchq/CyberChef
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
anael-seghezzi/CToy
Interactive C live coding environment
lovell/sharp
High performance Node.js image processing, the fastest module to resize JPEG, PNG, WebP, AVIF and TIFF images. Uses the libvips library.
brunocroh/bolhadev.chat
A free platform for Brazilian developers to improve their English skills.
katsujukou/TaPL-in-PureScript
The PureScript implementation for the *Types and Programming Language* by B. Pierce
girishji/scope.vim
Minimal, fast, and extensible fuzzy finder.
dream-num/univer
Univer is an open-source productivity tool dev kit helping you integrate spreadsheets, docs and slides into your applications.
zesterer/tao
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
augustss/MicroHs
Haskell implemented with combinators
victornpb/undiscord
Undiscord - Delete all messages in a Discord server / channel or DM (Easy and fast) Bulk delete
hydralauncher/hydra
Hydra is a game launcher with its own embedded bittorrent client