Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / inaimathi
Developer Profile

inaimathi

Discovered public repositories for inaimathi in the GitHub catalog.

↗

inaimathi/humane-auth

Implementation of authentication system proposed by Jef Raskin in the Humane Interface

↗

inaimathi/deal

A simple playtesting/prototyping tool for physical card games

↗

inaimathi/goget

Basic haskell shopping list web-app for learning purposes

↗

inaimathi/common

A tiny colletion of utility Erlang functions that I've found useful

↗

inaimathi/auth

A self-contained, production capable authentication server implemented in Erlang. Includes password-based, and RSA auth.

↗

inaimathi/shell-ui

A collection of various shell scripts to ease command line annoyances

↗

inaimathi/cl-chan

A message/image board (eventually) written in Common Lisp, mainly for tutorial purposes

↗

inaimathi/cl-leet

Common Lisp port of Elite for Emacs (itself a port of the 1984 game Elite)

↗

inaimathi/poSStscript

A ridiculously simple (though sadly imperative) postscript generator for PLT Racket

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.