soraismus Goto Github PK

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

chatapp

solution to chatapp project using node.js and websockets/socket.io

cheapci

Simple CI framework in bash. Checks whether there have been any updates, runs tests and mails you on completion.

chess-interface

cl3

Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)

concat

Constrained categories

constraint-unions

A syntax for unions of constraints in Haskell

core2dump

Core to dump

cough-mal

cough-syrup

cryptol

Cryptol: The Language of Cryptography

cubical

cubicaltt

Experimental implementation of Cubical Type Theory

dakka

decidim

The participatory democracy framework. A generator and multiple gems made with Ruby on Rails.

differential-line

a generative algorithm

dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

dotfiles

dynamic-graphs

easy-purescript-nix

Easy PureScript (and other tools) with Nix

effects

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

erlking-lisp

fairseq

Facebook AI Research Sequence-to-Sequence Toolkit written in Python.

faye-practice2

forest-compiler

A multi-syntax functional programming language that compiles to WebAssembly.

formality

An efficient programming language and proof assistant.

freer-simple

A friendly effect system for Haskell

frp-zoo

Comparing many FRP implementations by reimplementing the same toy app in each.

functionalprogrammingcompanylist

This is a list of companies that use a Functional Programming Language for their core products. Use this as a starting point for your FP job search.