Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by gelisam
A curated list of projects in awesome lists by gelisam .
https://github.com/gelisam/frp-zoo
Comparing many FRP implementations by reimplementing the same toy app in each.
Last synced: 14 Nov 2024
https://github.com/gelisam/hawk
Haskell text processor for the command-line
Last synced: 14 Nov 2024
https://github.com/gelisam/category-syntax
do-notation for Category and "Arrow without arr"
Last synced: 02 Nov 2024
https://github.com/gelisam/typelevel-rewrite-rules
rewrite rules for type-level equalities
Last synced: 31 Oct 2024
https://github.com/gelisam/n-ary-functor
A single typeclass for Functor, Bifunctor, Trifunctor, etc.
Last synced: 01 Nov 2024
https://github.com/gelisam/hyzzy
A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
Last synced: 02 Nov 2024
https://github.com/gelisam/ludum-dare-31
The theme for LD31 was "Entire Game on One Screen"
Last synced: 09 Oct 2024
https://github.com/gelisam/magic-typelevel-elem
Demonstrating how to make type families faster using typechecker plugins
Last synced: 24 Oct 2024
https://github.com/gelisam/cabal-rangefinder
A tool to fill in the version ranges in a cabal file.
Last synced: 02 Nov 2024
https://github.com/gelisam/commutative
Using Haskell's type system to guarantee commutativity.
Last synced: 24 Oct 2024
https://github.com/gelisam/mastering-haskell
The slides for my Packt course, "Mastering Haskell".
Last synced: 24 Oct 2024
https://github.com/gelisam/laughable
Clowns to the left of me, jokers to the right
Last synced: 24 Oct 2024
https://github.com/gelisam/strongly-typed-bound
My version of Kmett's "strongly typed bound for acowley" snippet.
Last synced: 24 Oct 2024
https://github.com/gelisam/ludum-dare-35
The theme for LD35 was: "shapeshift"
Last synced: 24 Oct 2024
https://github.com/gelisam/circular-sig
a twelf-like type-checker supporting recursive signatures
Last synced: 24 Oct 2024
https://github.com/gelisam/deploy-hint
Demonstrating that you don't need to install ghc in order to use the hint library.
Last synced: 24 Oct 2024
https://github.com/gelisam/giggles-is-you
A reimplementation of Baba is You in Haskell, for our weekly haskell-beginners presentations.
Last synced: 24 Oct 2024
https://github.com/gelisam/image-watcher
Display an image and update it when the file changes
Last synced: 24 Oct 2024
https://github.com/gelisam/ludum-dare-34
The themes for LD34 were: "two button controls" and "growing"
Last synced: 24 Oct 2024
https://github.com/gelisam/slides
A place to host my git-slides presentations
Last synced: 24 Oct 2024
https://github.com/gelisam/stm-variants
The STM API we know and love, but useable in more circumstances
Last synced: 24 Oct 2024
https://github.com/gelisam/acme-circular-containers
Spineless containers which are fast to read but inefficient to update
Last synced: 24 Oct 2024
https://github.com/gelisam/jira-dependencies
from JIRA's .csv export to graphviz's dot format
Last synced: 24 Oct 2024
https://github.com/gelisam/dot-utils
A set of small command-line tools for transforming GraphViz dot-files
Last synced: 24 Oct 2024
https://github.com/gelisam/k-playground
for implementing toy languages using the K Framework
Last synced: 24 Oct 2024
https://github.com/gelisam/apecs-hint-demo
demonstrating how to use hint to dynamically modify the game world of an apecs-based game
Last synced: 24 Oct 2024
https://github.com/gelisam/worldly
based on Conor McBride's "Worldly Type Systems" talk
Last synced: 24 Oct 2024
https://github.com/gelisam/tarjan
an agda implementation of Tarjan's strongly connected components algorithm
Last synced: 24 Oct 2024
https://github.com/gelisam/premonoidal
Agda encoding of premonoidal categories
Last synced: 24 Oct 2024
https://github.com/gelisam/agda-playground
a series of ambitious experiments in the functional language / proof assistant Agda.
Last synced: 24 Oct 2024
https://github.com/gelisam/ludum-dare-44
The theme for LD44 was "Your life is currency"
Last synced: 24 Oct 2024
https://github.com/gelisam/submake
Use git to replay part of a bash pipeline.
Last synced: 24 Oct 2024
https://github.com/gelisam/trie-based-frp
An implementation of higher-order FRP based on shared tries instead of unsafePerformIO.
Last synced: 24 Oct 2024
https://github.com/gelisam/queues
Compare the performance of a few Haskell queue implementations.
Last synced: 24 Oct 2024
https://github.com/gelisam/reactive-banana-anti-tutorial
companion code for my blog post
Last synced: 24 Oct 2024
https://github.com/gelisam/acme-tiny-rules
a parody of Tiny Glade with inference rules instead of castles
Last synced: 24 Oct 2024
https://github.com/gelisam/hs-promote
C++-style type promotion for Haskell's numeric hierarchy
Last synced: 24 Oct 2024
https://github.com/gelisam/glut-events
For writing GLUT's main loop in the style of Haskell's main function.
Last synced: 24 Oct 2024
https://github.com/gelisam/existentials
A type-level DSL for placing existential constraints on some arguments of a type constructor
Last synced: 24 Oct 2024
https://github.com/gelisam/directed-graph-ui
A tool for creating directed graphs.
Last synced: 24 Oct 2024
https://github.com/gelisam/contravariant-case
An API for Divisible and Decidable which looks like pattern-matching.
Last synced: 24 Oct 2024
https://github.com/gelisam/gif-browser
a tiny application for browsing through the frames of an animated gif.
Last synced: 24 Oct 2024
https://github.com/gelisam/adicity
A DSL in which composition and application are unified.
Last synced: 24 Oct 2024
https://github.com/gelisam/install-before-test
How to configure project.cabal so that tests are run after the install.
Last synced: 24 Oct 2024
https://github.com/gelisam/dotfiles
My default setup, including config files and shell scripts.
Last synced: 24 Oct 2024
https://github.com/gelisam/lens-syntax
Pointful syntax for optic compositions
Last synced: 24 Oct 2024
https://github.com/gelisam/stack-bug
A demonstration of a bug which doesn't fit in a gist because it requires directories.
Last synced: 24 Oct 2024
https://github.com/gelisam/tic-tac-top
The AI for a tiny board game I invented.
Last synced: 24 Oct 2024
https://github.com/gelisam/ludum-dare-42
The theme for LD42 was "Running out of Space"
Last synced: 24 Oct 2024
https://github.com/gelisam/gc-tester
a console UI tool to control how much garbage to generate and measure the effect on garbage collection
Last synced: 24 Oct 2024
https://github.com/gelisam/my-tab-mover
a fork of Tab Mover with small quality-of-life improvements
Last synced: 24 Oct 2024
https://github.com/gelisam/react-pong
A variation on pong implemented in react.js, for practice
Last synced: 24 Oct 2024
https://github.com/gelisam/ludum-dare-41
A turn-based racing game in Rust. We didn't finish in time for LD41.
Last synced: 24 Oct 2024
https://github.com/gelisam/ludum-dare-40
The theme for LD40 was "The more you have, the worse it is"
Last synced: 24 Oct 2024
https://github.com/gelisam/ludum-dare-39
The theme for LD39 was "Running out of Power"
Last synced: 24 Oct 2024
https://github.com/gelisam/ghc-9.4-bug
minimal repro case for a ghc-9.4 regression
Last synced: 24 Oct 2024
https://github.com/gelisam/scattered-brain
experiments in distributed systems
Last synced: 24 Oct 2024
https://github.com/gelisam/ludum-dare-50
"Tordle", a mix of Tetris and Wordle
Last synced: 24 Oct 2024
https://github.com/gelisam/thread-debugger
GUI for displaying stdout lines from different threads in different windows
Last synced: 24 Oct 2024
https://github.com/gelisam/streaming-async
Run multiple computations from the "streaming" library concurrently and combine the results.
Last synced: 24 Oct 2024
https://github.com/gelisam/angular-momentum
My entry for the 2017 xkcd game jam
Last synced: 24 Oct 2024
https://github.com/gelisam/composable-services
Experimental open nets of services, inspired by open petri nets
Last synced: 24 Oct 2024
https://github.com/gelisam/asana-webhook-forwarder
simple PHP script for forwarding Asana notifications to Google Apps Script
Last synced: 24 Oct 2024
https://github.com/gelisam/emscripten-pong
A variation on pong implemented in emscripten, for practice
Last synced: 24 Oct 2024
https://github.com/gelisam/fix-sixel
convert from ppmtosixel's format to xterm's
Last synced: 24 Oct 2024
https://github.com/gelisam/evercal
Display notes from Evernote on a calendar.
Last synced: 24 Oct 2024
https://github.com/gelisam/lambda-nogc
Proof of concept that the lambda-calculus doesn't need a garbage-collector.
Last synced: 24 Oct 2024
https://github.com/gelisam/ludum-dare-33
The theme for LD33 was "You are the Monster"
Last synced: 24 Oct 2024