Copenhagen, Denmark

Joakim Ahnfelt-Rønne

Expert
@Ahnfelt

MSc Computer Science, part of the founding team at Paqle A/S and co-founder of a functional programming meetup with 1000+ members in Copenhagen.

www.linkedin.com/in/ahnfelt

type-inference-by-example. A series of down-to-earth articles on implementing type inference

165

react4s. Production ready React wrapper for Scala.js - composable lifecycle - no memoization, no macros, no implicits.

126

firefly-boot. Bootstrap compiler for Firefly

56

funk. PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching

53

parsercombinator. A parser combinator for Java 8. Proof of concept.

14

AlgorithmWStepByStep. Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.

11

commandline. EXPERIMENTAL: A command line parser for Scala that follows POSIX and GNU conventions. No dependencies, no macros and no implicits.

8

rulebuilder. A rule builder for business logic in plain JavaScript. Boolean logic and custom operators. Styleable. Version 0.0.1.

6

react4s-todomvc. TodoMVC in 139 lines of Scala with React4s

6

mlcsp. (Not under active development). OCamlCSP is a library for Ocaml based on Tony Hoares Communicating Sequential Processes (CSP) .

5

FQL. A functional query language.

4

alua. DRAFT: Alua is a typed language whose syntax is Lua-like

3

guts. Experimental: A game

3

intestines. Experimental: A game

3

cms. Experimental: Goals: a minimal amount of "admin screens" and everything editable in place. Status: planning.

3

jsonr. EXPERIMENTAL: JSONR is JSON, but with concise syntax, simpler schemas and efficient binary encoding.

2

elm-editable-tree. A very simple example that shows how to implement an editable tree structure in Elm. The trick is a recursive Model type, the recursive use of update and view, and the At i msg combinator.

2

keen. Experimental: An eager functional programming language

2

Templ. A template language with statically typed bindings for Java.

2

Piqo. Experimental: A new strain of that programming language I am always working on. NOTE: This is not being worked on actively, and the current state of the language is mostly idea only.

2

visualization. School project

2

Editor. Experimental: A texmode editor that gets out of your way. Standard keyboard shortcuts, yet you don't *need* to leave the home row. It's being written (in Haskell), but it's not useable yet, and don't hold your breath.

1

chainquery. Experimental: A typed database query language for Java.

1

dope. Experimental: A game of trust and betrayal

1

react4s-example. Please see react4s.org instead

1

Multiple-Dispatch. PLEASE DISREGARD THIS FORK. It's just a fork I used to contribute a patch. The patch has been merged into the original project, so please go there to download:

1

fpsynth. Synth experiments

1

jtransaction. Experimental: Transactional memory for Java

1

ri. Recursive install for maven 2

1

ziphon. Experimental: A programming language

1

astrobots. Experimental: A touch-screen programming language (lambda calculus + functional reactive programming) and a game

1

elmchatgpt. A toy implementation of the ChatGPT client in Elm

1

reactive. Experimental: Reactive GUI library for JavaScript

1

uld-hd. A port of Werks ULD library for OpenGL (WebGL + fragment shader)

1

boa. EXPERIMENTAL: A language with hints of Python, Smalltalk and Haskell

1

typed-format. Experimental: A simple and complete schema language and binary format for data interchange.

1

Abyss. Experimental: A game

1

guts2. Experimental: A game

1

entity. A Haskell game state library

1
39
Apply