majjoha/typology majjoha/typology

  • Stars
    star
    6
  • Rank 2,526,788 (Top 51 %)
  • Language
    TypeScript
  • License
    GNU General Publi...
  • Created over 3 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
majjoha/typology
github

majjoha

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Playground for exploring type-level programming.

More Repositories

1

color-converter

Command line tool for converting colors from RGB to HEX and vice versa.
Shell
18
star
2

dotfiles

Configuration files for my development environment.
Lua
16
star
3

picostudio

Four-track live looper for the Critter & Guitari Organelle.
Pure Data
16
star
4

create-ruby-app

Scaffolding tool for Ruby applications.
Ruby
11
star
5

voxctl

Command-line tool for controlling the VOX music player.
JavaScript
7
star
6

simulated-annealing

Simulated annealing algorithm for solving the traveling salesman problem.
Haskell
5
star
7

writejs

An elementary demonstration of how local storage works in HTML5.
JavaScript
2
star
8

sloth

A lazy, functional programming language.
C
2
star
9

passphrase

Strong Diceware passphrase generator.
Haskell
1
star
10

sequencer

A simple, but brave JavaScript sequencer.
JavaScript
1
star
11

dolphy

A Ruby microframework for web development.
Ruby
1
star
12

vim-marginalia

Lightweight Vim plugin for writing and managing notes.
Vim Script
1
star