Giters
Oleg Grenrus (phadej)

phadej

Geek Repo

582

followers

0

following

155

stars

Company:Well-Typed LLP

Location:Helsinki, Finland

Home Page:https://oleg.fi/

Github PK Tool:Github PK Tool

Organizations
baconjs
haskell-infra
haskhel
igbinary
jsverify
osakunta

Oleg Grenrus's starred repositories

Iosevka

Versatile typeface for code, from code.

Language:JavaScriptLicense:OFL-1.1Stargazers:18542Issues:192Issues:1818

hadolint

Dockerfile linter, validate inline bash, written in Haskell

Language:HaskellLicense:GPL-3.0Stargazers:9958Issues:68Issues:584

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

Language:HaskellStargazers:1784Issues:56Issues:813

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1332Issues:23Issues:248

aws-lambda-cpp

C++ implementation of the AWS Lambda runtime

Language:C++License:Apache-2.0Stargazers:437Issues:19Issues:96

generic-lens

Generically derive traversals, lenses, and prisms.

Language:HaskellStargazers:435Issues:20Issues:98

haddock

Haskell Documentation Tool

Language:HTMLLicense:BSD-2-ClauseStargazers:361Issues:29Issues:949

agda-categories

A new Categories library for Agda

Language:AgdaLicense:MITStargazers:351Issues:24Issues:150

justified-variables

Words of the same length with related meanings.

Language:PythonStargazers:328Issues:16Issues:13

inspection-testing

Inspection Testing for Haskell

Language:HaskellLicense:MITStargazers:171Issues:13Issues:30

ghc-justdoit

A magic typeclass that just does it

Language:HaskellLicense:MITStargazers:124Issues:10Issues:2

hinc

Haskell In New Clothes

Language:HaskellLicense:BSD-3-ClauseStargazers:111Issues:10Issues:6

pure

A pure type system implemented in OCaml

Language:OCamlStargazers:79Issues:1Issues:2

git-vanity

a tool for generating git vanity commits

Language:PythonLicense:GPL-3.0Stargazers:76Issues:3Issues:5

dhall-vim

Syntax highlighting for Dhall

Language:Vim ScriptLicense:BSD-3-ClauseStargazers:67Issues:3Issues:6

monoidal-containers

Maps using values' monoidal structure during merging

Language:HaskellLicense:NOASSERTIONStargazers:42Issues:7Issues:30

universe

Classes for types where we know all the values

Language:HaskellLicense:BSD-3-ClauseStargazers:37Issues:6Issues:27

symbols

Symbol manipulation

Language:HaskellLicense:BSD-3-ClauseStargazers:35Issues:8Issues:2

ghcup-metadata

GHCup metadata repository

Language:HaskellStargazers:32Issues:20Issues:61

chessIO

Fast haskell chess move generator library and console UCI frontend

Language:HaskellLicense:BSD-3-ClauseStargazers:31Issues:7Issues:9

lennart-lambda

λλλλ Lennart Augustsson's λ-calculus cooked four ways

Language:HTMLStargazers:28Issues:2Issues:0

free-functors

Provides free functors that are adjoint to functors that forget class constraints.

Language:HaskellLicense:BSD-3-ClauseStargazers:27Issues:9Issues:3

head.hackage

This is not the Git repo you're looking for...

Language:ShellStargazers:26Issues:10Issues:13

irc-message-action

Github Action to Interact with IRC Channels and Users

Language:JavaScriptStargazers:20Issues:3Issues:7

jord

Geographical Position Calculations

Language:HaskellLicense:BSD-3-ClauseStargazers:15Issues:3Issues:13

JuicyPixels-extra

Efficiently scale, crop, flip images with JuicyPixels

Language:HaskellLicense:NOASSERTIONStargazers:13Issues:3Issues:7

csg

Analytical CSG (Constructive Solid Geometry) library

Language:HaskellLicense:BSD-3-ClauseStargazers:7Issues:4Issues:1

mono-math

Language:JuliaLicense:MITStargazers:7Issues:3Issues:3

unicode-general-category

Unicode General Category

Language:HaskellLicense:Apache-2.0Stargazers:6Issues:2Issues:0

step-function

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0