Lambda Calculi Abstract Syntax Trees

A bridge from Haskell (on a CPU) to VHDL on a FPGA

A lambda calculus interpreter

Lambda Calculus interpreter

Educational drawing canvas for FP explorers

Haskell implementation of (some of) lambda cube calculi

a Paralell-DEVS implementaion based on distributed-process

Declarative command-line parser with type-driven pattern matching

A library to emulate laceholders similar to Scala

Boltzmann sampler utilities for lambda calculus

An application to work with the lambda calculus (for learning)

Untyped Lambda calculus to JavaScript compiler

RSS 2.0 feed generator

...

Lambdabot core functionality

Lambdabot Haskell plugins

IRC plugins for lambdabot

Lambdabot miscellaneous plugins

Novelty plugins for Lambdabot

Lambdabot reference plugins

Social plugins for Lambdabot

Lambdabot for Telegram

Lambdabot trusted code

Utility libraries for the advanced IRC bot, Lambdabot

Lambdabot plugin for XMPP (Jabber) protocol

Lambdabot for Zulip Chat

Webkit Browser

LambdaCms 'core' subsite for Yesod apps

LambdaCms "media" extension

A simple lambda cube type checker

Example for combining LambdaCube and Bullet

LambdaCube 3D is a DSL to program GPUs

LambdaCube 3D IR

LambdaCube 3D EDSL definition

3D rendering engine written entirely in Haskell

Examples for LambdaCube

OpenGL 3.3 Core Profile backend for LambdaCube 3D

LambdaCube 3D intermediate representation of 3D graphics pipelines

Samples for LambdaCube 3D

A libary for generating low-level sounds with high-level combinators

Type-Safe LaTeX EDSL

Lambdabot running as a twitter bot. Similar to the @fsibot f# bot.

Fpga bus core and serialization for RedPitaya

Diff Viewer

A high-level binding to the LAME encoder

A strange and unnecessary selective test-running library

Run dependent IO actions asynchronously

Haskell bindings for the Linux Landlock API

A Lisp

Haskell implementation of Langchain

Parser, pretty-printer, and more for the Modula-2 programming language

ASN.1 encoding and decoding

Parsing of ASN1 definitions

Parser and pretty-printer for ATS

Language definition and parser for AVRO files

Parsing and pretty-printing Bash shell scripts

An implementation of the Bluespec Haskell AST

Interpreter and language infrastructure for Boogie

Analysis and generation of C code

Extracting comments from C code

Inline C & Objective-C code in Haskell for language interoperability

C/CUDA/OpenCL/Objective-C quasiquoting library

An implementation of the C99 AST that strictly follows the standard

C-like AST to simplify writing C99 programs

Utilities for language-c99

Manipulating Common Intermediate Language AST

Conf parsers and pretty-printers for the Haskell programming language

C# source code manipulation

CSS 2.1 syntax

Manipulating Dart source: abstract syntax and pretty-printer

A language for generative literature

Dockerfile parser, pretty-printer and embedded DSL

Dockerfile parser, pretty-printer and embedded DSL

Dockerfile linter, parser, pretty-printer and embedded DSL

A library for the analysis and creation of Graphviz DOT files

JavaScript parser and pretty-printer library

JavaScript static analysis library

Parser and pretty printer for the Eiffel language

Generate elm code

Fortran lexer and parser, language support, and extensions

Something similar to Dijkstra's guarded command language

Datatypes and parsing/printing functions to represent the Gemini markup language

GLSL abstract syntax tree, parser, and pretty-printer

A library for analysis and synthesis of Go code

Guess at which language a text is written in using trigrams

Module to automatically extract functions from the local code

HCL parsers and pretty-printers for the Haskell programming language

Java source manipulation

Parser for Java .class files

Parser for JavaScript

Parser for JavaScript

javascript parser for es6 and es7

Parser and serializer for the Kort information language

Lua parser and pretty-printer

Initial project template from stack

Lua parser and pretty printer

Parser, pretty-printer, and AST types for the MIXAL assembly language

A library for dealing with the Ninja build language