Jonathan Lindegaard Starup (JonathanStarup)

JonathanStarup

Geek Repo

Location:Aarhus, Denmark

Github PK Tool:Github PK Tool

Jonathan Lindegaard Starup's repositories

Flix-ANSI-Terminal

An API for ANSI terminal operations

GUI

GUI (MVC) library in Flix

License:Apache-2.0Stargazers:2Issues:1Issues:0

ListSet

A set that just requires equality.

SemVer

A Flix package for Semantic Versioning 2.0

License:NOASSERTIONStargazers:1Issues:1Issues:0

flix-gitignore

Gitignore for Flix

License:NOASSERTIONStargazers:1Issues:1Issues:0
License:NOASSERTIONStargazers:1Issues:1Issues:0

tally-clustering

An exploration of computational complexity in tally clustering

License:NOASSERTIONStargazers:1Issues:1Issues:0

turing-machine

Turing Machine in Flix

License:NOASSERTIONStargazers:1Issues:1Issues:0

book

The Flix Programming Book

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0

effect-handlers-bench

Benchmark repository of polyglot effect handler examples

Language:SchemeLicense:MITStargazers:0Issues:0Issues:0

effekt

A research language with effect handlers and lightweight effect polymorphism

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:1Issues:1
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0
Language:TeXLicense:NOASSERTIONStargazers:0Issues:0Issues:0

flix-tapl

Implementing Types and Programming Languages by Benjamin Pierce in Flix.

License:NOASSERTIONStargazers:0Issues:1Issues:0
License:Apache-2.0Stargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:1Issues:0

language-scaffold

Tools to prototype languages and type systems

License:Apache-2.0Stargazers:0Issues:2Issues:0
License:NOASSERTIONStargazers:0Issues:1Issues:0

random

A regioned random library for Flix

License:Apache-2.0Stargazers:0Issues:1Issues:0
Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0