Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

Lamdu

The Lamdu collective develops Lamdu, a new kind of programming language which breaks out of the boundaries imposed by text files.
Collective - Host: opensource - https://opencollective.com/lamdu - Website: https://lamdu.org - Code: https://github.com/lamdu

github.com/lamdu/lamdu

lamdu - towards the next generation IDE

Stars: 1,854 - Last synced: 19 Dec 2024

github.com/lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types

Stars: 112 - Last synced: 19 Dec 2024

github.com/lamdu/lamdu-calculus

An extended typed Lambda Calculus

Stars: 20 - Last synced: 19 Dec 2024

github.com/lamdu/momentu

A purely functional animated GUI framework

Stars: 14 - Last synced: 19 Dec 2024

github.com/lamdu/FreetypeGL

High-level Haskell bindings for the freetype-gl package

Stars: 3 - Last synced: 19 Dec 2024

github.com/lamdu/nodejs-exec

NodeJS embedded in a Haskell cabal package

Stars: 2 - Last synced: 19 Dec 2024

github.com/lamdu/bindings-freetype-gl

Low-level Haskell bindings for the freetype-gl library

Stars: 2 - Last synced: 19 Dec 2024

github.com/lamdu/presentations

Ideas for videos, papers and posts

Stars: 1 - Last synced: 19 Dec 2024

github.com/lamdu/lamdu.github.io

Github pages site lamdu.github.io

Stars: 1 - Last synced: 19 Dec 2024

github.com/lamdu/lambdu

Typo-redirection page to Lamdu

Stars: 0 - Last synced: 19 Dec 2024

github.com/lamdu/presentation-live-2018

Work on presentation for LIVE 2018

Stars: 0 - Last synced: 19 Dec 2024