saiashirwad

elemental-magicks

Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

zen-signals

☯ The simplest signal library possible

yesql

A Clojure library for using SQL.

negoto

Imageboard written in Ur/Web

awesome-urweb

Collection of awesome Ur/Web libraries, components, and projects

opalang

The Opa Language for Web Application Development

GDTuber

A dynamic PNGTuber program made in Godot

urweb.vim

Colorful vim syntax highlighting for Ur/Web

urweb

The Ur/Web programming language

badspreadsheet

A Clojure Spreadsheet for building design tools.

grug-far.nvim

Find And Replace plugin for neovim

plunk

The Open-Source Email Platform

prelude

draco-ui

A quick and easy way to add overlay elements such as buttons and menus into your game

godot

Godot Engine – Multi-platform 2D and 3D game engine

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

GeoGuess

GeoGuess is an open-source geography game with Google Map StreetView. You can play solo or with your friends simultaneously.

AI-scripts

Some handy AI scripts

lambda-conf-2024

oogabooga

ooga booga

verdant

🌿 Storage, sync & realtime for local-first web apps. Build an app in minutes, deploy as a static page, and add sync with a few lines.

fmt

OCaml Format pretty-printer combinators

octane.ml

The fastest, hottest

SketchyBar

A highly customizable macOS status bar replacement

react-async-modal-hook

React hook for spawning modals with a promise based API

modus-themes.nvim

Highly accessible themes for Neovim, conforming with the highest standard for color contrast between background and foreground values (WCAG AAA). A Neovim port of the original Modus Themes built for GNU Emacs.

nvim-ts-autotag

Use treesitter to auto close and auto rename html tag

flutter_data

Seamlessly manage persistent data in your Flutter apps

rescript-rest

😴 ReScript RPC-like client, contract, and server implementation for a pure REST API