lemonade-sdk / lemonade
Lemonade helps users discover and run local AI apps by serving optimized LLMs right from their own GPUs and NPUs. Join our discord: https://discord.gg/5xXzkMu8Zk
lemonade-sdk / lemonade
jarrodwatts / jev-trader
One AI trade decision every Monad block. Jev on Kuru MON-USDC.
ianyh / Amethyst
Automatic tiling window manager for macOS à la xmonad.
samber / mo
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
FStarLang / FStar
A Proof-oriented Programming Language
wayvr-org / wayvr
Your way to enjoy VR on Linux. Run apps inside VR & access your Wayland/X11 screens from Monado/WiVRn/SteamVR.
louthy / language-ext
C# pure functional programming framework - come and get declarative!
arrow-kt / arrow
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
xmonad / xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
IBM / fp-go
Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult monads, plus optics (Lens, Prism, Traversal) for immutable data manipulation. Supports Functor, Applicative, and Monad abstractions with do-notation-style
true-myth / true-myth
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
category-labs / monad
—
gvolpe / nix-config
:space_invader: NixOS configuration :space_invader:
polysemy-research / polysemy
:gemini: higher-order, no-boilerplate monads
mrkkrp / megaparsec
Industrial-strength monadic parser combinator library
dry-rb / dry-monads
Useful, common monads in idiomatic Ruby
jwiegley / category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
lemonade-sdk / llamacpp-rocm
Fresh builds of llama.cpp with AMD ROCm™ 7 acceleration
taffybar / taffybar
A gtk based status bar for tiling window managers such as XMonad
category-labs / monad-bft
—
xmonad / xmonad-contrib
Contributed modules for xmonad
atnos-org / eff
Eff monad for cats - https://atnos-org.github.io/eff
julianmb / halofpx
High-performance Lemonade alternative for AMD Strix Halo & Radeon — latest MoE models (Ling-3.0-Flash, Qwen 3.8 Flash Next, Ornith 1.5), bleeding-edge RDNA 3.5 Wave64/ROCmFP4 kernels, and silicon-tuned profiles.
spicylemonade / c-hd-proof
C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20)
spicylemonade / compensated-magnet-ledger
Computational ledger for two room-temperature Luttinger-compensated magnet candidates, YBaMnFeO5 and KV[Cr(CN)6]: raw QE inputs/outputs, checker, re-runs
Villagers654 / RiftLift
Play owned Meta Rift and Oculus PC VR games on Linux and Windows.
Monadix-AI / monad-design
—
lemonade-sdk / thenoise
A fast diffusion model engine for image generation and editing.
lemonadesaltbagel / GR4-LUTSmith
Put the look of a .cube LUT into your RICOH GR IV as an Image Control look. Fits the LUT, then builds firmware from RICOH's official 1.11.
burrellka / MyStrixHaloSetup
A two-day, non-expert guide to running local LLMs on an AMD Strix Halo (Ryzen AI Max+ 395) box — full ~120GB memory pool, ROCm backend, NPU in parallel via FastFlowLM, one OpenAI-compatible endpoint.
spicy-lemonade / salt
Salt encrypts your agent's files and database memories before they leave your machine.
lbgos / rift-s-linux
Oculus Rift S on Linux: Monado fork with Basalt SLAM head tracking, Touch controller tracking and room setup for SteamVR.