Discover @gelisam Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Swift

Jupyter Notebook

C

Java

Groovy

R

OCaml

Solidity

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Scala

F#

C

Lua

Perl

Ruby

Elixir

Ada

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇲🇦 Morocco

🇹🇴 Tonga

🇧🇼 Botswana

🇲🇵 Northern Mariana Islands

🇫🇷 France

🇺🇿 Uzbekistan

🇬🇾 Guyana

🇱🇺 Luxembourg

All Countries Compare Countries

Samuel Gélineau (@gelisam)

gelisam

Stars
1,711
Global Rank 18,073 (Top 0.7 %)
Followers 276
Following 26
Registered almost 16 years ago
Most used languages

Haskell
81.7 %

Elm
2.8 %

Agda 2.8 %

Shell
2.8 %

JavaScript
2.8 %

TypeScript
1.4 %

Rust
1.4 %

Vim Script
1.4 %

Python
1.4 %

C
1.4 %
Location 🇨🇦 Canada
Country Total Rank 599
Country Ranking

Haskell
3

Agda 10

Elm
28

Shell
112

Vim Script
310

Rust
922

C
3,746

TypeScript
4,192

JavaScript
5,221

frp-zoo

Comparing many FRP implementations by reimplementing the same toy app in each.

hawk

Haskell text processor for the command-line

git-slides

Text-based slides using vim and git.

klister

an implementation of stuck macros

category-syntax

do-notation for Category and "Arrow without arr"

typelevel-rewrite-rules

rewrite rules for type-level equalities

linear-examples

Example uses of linear types

n-ary-functor

A single typeclass for Functor, Bifunctor, Trifunctor, etc.

conway

Demonstrating comonad transformers.

hyzzy

A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.

ludum-dare-31

The theme for LD31 was "Entire Game on One Screen"

magic-typelevel-elem

Demonstrating how to make type families faster using typechecker plugins

cabal-rangefinder

A tool to fill in the version ranges in a cabal file.

mastering-haskell

The slides for my Packt course, "Mastering Haskell".

commutative

Using Haskell's type system to guarantee commutativity.

typechecker-combinators

laughable

Clowns to the left of me, jokers to the right

deploy-hint

Demonstrating that you don't need to install ghc in order to use the hint library.

surjective

An output coverage checker

giggles-is-you

A reimplementation of Baba is You in Haskell, for our weekly haskell-beginners presentations.

strongly-typed-bound

My version of Kmett's "strongly typed bound for acowley" snippet.

circular-sig

a twelf-like type-checker supporting recursive signatures

objc2java

Convert pure ObjectiveC code to pure Java code, libraries be damned.

ludum-dare-35

The theme for LD35 was: "shapeshift"

nominalize

Generate types using type-generic programming, retaining control over the names of the constructors and the fields.

image-watcher

Display an image and update it when the file changes

ludum-dare-34

The themes for LD34 were: "two button controls" and "growing"

apecs-hint-demo

demonstrating how to use hint to dynamically modify the game world of an apecs-based game

slides

A place to host my git-slides presentations

stm-variants

The STM API we know and love, but useable in more circumstances

acme-tiny-rules

a parody of Tiny Glade with inference rules instead of castles

dot-utils

A set of small command-line tools for transforming GraphViz dot-files

k-playground

for implementing toy languages using the K Framework

acme-circular-containers

Spineless containers which are fast to read but inefficient to update

jira-dependencies

from JIRA's .csv export to graphviz's dot format

tarjan

an agda implementation of Tarjan's strongly connected components algorithm

chopt-test-task

worldly

based on Conor McBride's "Worldly Type Systems" talk

ludum-dare-44

The theme for LD44 was "Your life is currency"

agda-playground

a series of ambitious experiments in the functional language / proof assistant Agda.

transliterator

premonoidal

Agda encoding of premonoidal categories

submake

Use git to replay part of a bash pipeline.

directed-graph-ui

A tool for creating directed graphs.

ice-cream-privacy

rerec

hs-promote

C++-style type promotion for Haskell's numeric hierarchy

hint-demo

trie-based-frp

An implementation of higher-order FRP based on shared tries instead of unsafePerformIO.

glut-events

For writing GLUT's main loop in the style of Haskell's main function.

reactive-banana-anti-tutorial

companion code for my blog post

queues

Compare the performance of a few Haskell queue implementations.

relocation-bug

raml

contravariant-case

An API for Divisible and Decidable which looks like pattern-matching.

ludum-dare-42

The theme for LD42 was "Running out of Space"

adicity

A DSL in which composition and application are unified.

stack-bug

A demonstration of a bug which doesn't fit in a gist because it requires directories.

free-premonoidal

existentials

A type-level DSL for placing existential constraints on some arguments of a type constructor

haskell-code-explorer-bug

a minimal repro

croportunity-cost

A game about clicking and not clicking on plants.

ludum-dare-43

timesheet

Simple text-based time tracking

pure-framework-chat

tic-tac-top

The AI for a tiny board game I invented.

face-down

install-before-test

How to configure project.cabal so that tests are run after the install.

memento

Write a Virtual DOM for anything!

dotfiles

My default setup, including config files and shell scripts.

gif-browser

a tiny application for browsing through the frames of an animated gif.

lens-syntax

Pointful syntax for optic compositions