serras/inikio

Stars
33
Rank 783,877 (Top 16 %)
Language
Kotlin
Created about 2 years ago
Updated about 2 months ago

serras/inikio

serras

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

Better initial-style DSLs in Kotlin

emacs-haskell-tutorial

Tutorial on setting up Emacs to do Haskell programming

hinc

Haskell In New Clothes

lambdaconf-2015-web

Projects for LambdaConf 2015 Haskell web workshop

WeatherApp

Weather App with Arrow + Compose Desktop

fir-tree

IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code

zurihac-workshop

A bit of DSLs, a bit of I/O

functional-map

sf-exercises

4languages

Book about Haskell, Clean, Agda and Idris

miso-start-template

Template for new Miso projects

cat-theory-lambdaconf-wr-2017

munihac-2020-miso

Miso @ MuniHac 2020

patternr

Pattern matching for several languages

arrow-validation-tree

Arrow Validation Tree

cobalt

COnstraint-BAsed Little Typechecker

arrow-compose

Arrow ❤️ Compose

HaskellsGameOfLife

A simple implementation of Conway's Game of Life

reactive-js

t-regex

Matchers and grammars using tree regular expressions

haskell-exchange-2021

Slides for the Haskell eXchange 2021 talk "A Beginner's Guide to Haskell and its Ecosystem"

poke-fun

Poké-Fun with Kotlin and Arrow

dddeu21

"Being Formal Yet Lightweight", presented at DDD Europe 2021

derivative-parsing

Parsing using derivatives

haskell-patterns

turbine-temporal

Turbine meets Temporal Logic

graphql-wai

A simple way to expose GraphQL via WAI

liquid-nats-plugins-example

Example project using LiquidHaskell and Natural Normalisation plug-ins

djinn-lib

Library extracted from Djinn package

json-select-transform

Library for matching and transformation of JSON documents

scion-ghc-7-requisites

Changed prerrequisites for making Scion work on GHC 7

ultimate-generics

mini-system-f-impred

codemotion-2022

Slides for Codemotion 2022 talk

scion-debugger

Program that handles debugging for EclipseFP

nacionlumpen-chat-haskell

Simple chat written in Haskell

monadic-patterns

Extensible pattern matching using free monads

kotlinconf-features-example

deprecation-repro

Code for reproducing KT-60604

message-parser

sillies

Small programs to test my changes to GHC

bob2021-mu

"Servant vs. Mu: A Type-Level Battle", presented at BOB 2021

lio

Lightweight IO in Kotlin

emacs-config

My Emacs configuration

infofp-2021

Haskell Ideas in Modern Programming, presented at UU's INFOFP 2021

tasty-json

A tasty ingredient to output test results in JSON, compatible with HTF schema.

actions-as-data-continued

Actions as data, continued

kotlin-multitarget-plugin

IntelliJ plug-in that warns about annotations with defaulted use-site targets