Ahnfelt/typed-format

Stars
1
Language
Created almost 9 years ago
Updated almost 9 years ago

Ahnfelt/typed-format

Ahnfelt

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

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

type-inference-by-example

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

react4s

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

funk

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

firefly-boot

Bootstrap compiler for Firefly

parsercombinator

A parser combinator for Java 8. Proof of concept.

AlgorithmWStepByStep

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

commandline

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

rulebuilder

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

react4s-todomvc

TodoMVC in 139 lines of Scala with React4s

mlcsp

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

FQL

A functional query language.

cms

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

intestines

Experimental: A game

guts

Experimental: A game

alua

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

Templ

A template language with statically typed bindings for Java.

visualization

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.

keen

Experimental: An eager functional programming language

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.

jsonr

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

chainquery

Experimental: A typed database query language for Java.

ri

Recursive install for maven 2

Abyss

Experimental: A game

jtransaction

Experimental: Transactional memory for Java

reactive

Experimental: Reactive GUI library for JavaScript

uld-hd

A port of Werks ULD library for OpenGL (WebGL + fragment shader)

elmchatgpt

A toy implementation of the ChatGPT client in Elm

guts2

Experimental: A game

dope

Experimental: A game of trust and betrayal

astrobots

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

boa

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

ziphon

Experimental: A programming language

react4s-example

Please see react4s.org instead

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.