Giters
Rashad Gover (rashadg1030)

rashadg1030

Geek Repo

31

followers

52

following

513

stars

Location:Los Angeles, California

Home Page:https://rashadg1030.github.io/rashad-blog/

Github PK Tool:Github PK Tool

Rashad Gover's starred repositories

bubbletea

A powerful little TUI framework 🏗

Language:GoLicense:MITStargazers:24966Issues:118Issues:268

expr

Expression language and expression evaluation for Go

Language:GoLicense:MITStargazers:5748Issues:68Issues:348

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:3121Issues:60Issues:302

edn

Extensible Data Notation

Stargazers:2572Issues:101Issues:76

lobster

The Lobster Programming Language

Language:C++Stargazers:2181Issues:55Issues:155

core.match

An optimized pattern matching library for Clojure

Language:ClojureLicense:EPL-1.0Stargazers:1180Issues:71Issues:0

swarm

Resource gathering + programming game

Language:HaskellLicense:NOASSERTIONStargazers:800Issues:15Issues:675

alga

Algebraic graphs

Language:HaskellLicense:MITStargazers:709Issues:22Issues:111

typical

Data interchange with algebraic data types.

Language:RustLicense:NOASSERTIONStargazers:555Issues:8Issues:5

gwern.net

Site infrastructure for gwern.net (CSS/JS/HS/images/icons). Custom Hakyll website with unique automatic link archiving, recursive tooltip popup UX, dark mode, and typography (sidenotes+dropcaps+admonitions+inflation-adjuster).

Language:HaskellLicense:MITStargazers:451Issues:6Issues:9

stacker.news

Internet communities that pay you Bitcoin

Language:JavaScriptLicense:MITStargazers:399Issues:12Issues:628

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

Language:TypeScriptLicense:MITStargazers:312Issues:6Issues:29

nfc-frog

Contactless EMV credit card reader

Language:C++License:MITStargazers:277Issues:18Issues:17

inpla

Inpla: Interaction nets as a programming language (the current version)

Language:YaccLicense:MITStargazers:263Issues:12Issues:1

ol

Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.

Language:SchemeLicense:NOASSERTIONStargazers:224Issues:14Issues:53

axel

Haskell + Lisp

Language:HaskellLicense:BSD-3-ClauseStargazers:202Issues:12Issues:83

yatima

A zero-knowledge Lean4 compiler and kernel

Language:LeanLicense:MITStargazers:93Issues:8Issues:115

nostrdb

The unfairly fast embedded nostr database backed by lmdb

Language:CLicense:NOASSERTIONStargazers:83Issues:4Issues:21

ki

A structured concurrency library

Language:HaskellStargazers:76Issues:8Issues:12

mig

Lightweight and composable servers for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:68Issues:2Issues:18

hyperbole

Haskell interactive serverside web framework inspired by HTMX

Language:HaskellLicense:NOASSERTIONStargazers:67Issues:5Issues:3

robotquest

RobotQuest is a MMO, programming game. Instead of playing RobotQuest directly, you write a program that plays it for you. Your program communicates with the game server API over HTTP by sending and receiving JSON messages. Written in HTML, Haskell, with MongoDB

Language:HaskellStargazers:59Issues:15Issues:1

tonatona

Haskell plugin-based framework for any type of applications

Language:HaskellLicense:MITStargazers:50Issues:0Issues:0

conduct

A cross-platform UI framework for Haskell

Language:HaskellLicense:MITStargazers:40Issues:4Issues:2

opencascade-hs

Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library

Language:HaskellLicense:LGPL-2.1Stargazers:36Issues:2Issues:1

haskell-polyvariadic

Examples of polyvariadic functions in Haskell.

Language:HaskellStargazers:34Issues:0Issues:0

web-view

Typed HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI

Language:HaskellLicense:NOASSERTIONStargazers:32Issues:3Issues:2

a.dom

Advanced Data Oriented Markup

Language:JavaScriptStargazers:19Issues:0Issues:0

hx-take

An htmx extension that allows to select and swap existing elements.

Language:JavaScriptLicense:BSD-2-ClauseStargazers:17Issues:1Issues:2

birecursion-schemes

A library for mono-, di- and bi- recursion schemes.

Language:HaskellLicense:MITStargazers:7Issues:0Issues:0