Topic: functional-language

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

haskel compiler book evaluation lambda-calculus type type-checking type-system pdf-book functional-programming functional-language hindley-milner type-inference type-theory intermediate-representation

Haskell Updated Apr 7, 2019

evhub / coconut

2.4k

Simple, elegant, Pythonic functional programming.

python functional language functional-programming functional-language programming-language coconut

Python Updated Apr 24, 2019 10 issues need help

ocaml / ocaml

2.3k

The core OCaml system: compilers, runtime system, base libraries

ocaml compiler functional-language

OCaml Updated May 1, 2019

curv3d / curv

599

a language for making art using mathematics

signed-distance-field function-representation solid-modeling functional-language language csg 3d creative-coding generative-art

C++ Updated Apr 29, 2019 5 issues need help

janet-lang / janet

557

A dynamic language and bytecode vm

c language vm lisp macros repl interpreter functional-language imperative-language

C Updated Apr 29, 2019

leandrotk / functional-programming-learning-path

183

A Learning Path for Functional Programming

functional-programming functional javascript js clojure functional-testing functional-languages functional-language ruby functional-js functional-ruby

Clojure Updated Apr 18, 2019

never-lang / never

92

Never: statically typed, embedded functional programming language

programming-language functional-programming compilers virtual-machine language functional-language scripting-language

C Updated Jan 8, 2019

AnyDSL / impala

87

An imperative and functional programming language.

compiler imperative-programming-language functional-language continuation-passing-style domain-specific-language partial-evaluators gpu cpu vectorization simd

C++ Updated Apr 25, 2019

moevis / lambda-lite-js

64

a tiny FUNCITONAL LANGUAGE implemented by javascript. 一个函数式语言，使用 js 实现。

javascript functional-language lambda

JavaScript Updated Aug 22, 2018

lettier / lambda-lantern

48

🔮 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.

PureScript Updated Dec 27, 2018

cyrus- / typy

46

A fragmentary bidirectional type system as a Python library

programming-language functional-language algebraic-data-types pattern-matching python

Python Updated Oct 29, 2018

tk-learning-center / learning-javascript

13

Learning Javascript on my own

javascript frontend front-end js functional-programming functional-js functional-languages functional-language

JavaScript Updated Jan 9, 2019

morloc-project / morloc

11

A typed, multilingual, functional workflow language

programming-language type-system interoperability ontologies semantic functional-language language code-generation

Haskell Updated May 1, 2019

98devin / woden-lang

10

A stack-based, interpreted programming language implemented in livescript.

programming-language implementation functional-language stack-based stack interpreter

LiveScript Updated Sep 11, 2016

mauriciotogneri / jan

10

Purely functional programming language with an ultra minimalist syntax that uses prefix notation to apply functions a…

language prefix-notation functional-programming functional-language jan polish-notation programming-language

Java Updated Apr 8, 2019

louisrubet / rpn

10

Math functional language, inspired by Hewlett-Packard Reverse Polish Notation (RPL) language

math arbitrary-precision polish-notation stack rpl c-plus-plus functional-language

C++ Updated Mar 2, 2019

yesco / jml

8

jml - a useful web/cloud minimal unikernel distributed operating system

lambda-calculus language eval functional-language functional web html webserver unikernel operating-system urbit

C Updated Apr 25, 2019

kekyo / Nesp

5

A Lisp-like lightweight functional language on .NET

dotnet lisp functional-language repl compiler csharp

C# Updated Sep 5, 2017

rootmos / silly-ml

4

A small ML-like, type-checked, interpreted or x86-64 compiled, language created because it's weekend

functional-language experimental silly ocaml compiler x86-64

OCaml Updated Jul 23, 2017

danielkim802 / Hyper

3

A scripting language with functional programming features

programming-languages functional-programming virtual-machine compiler scripting-language functional-language

C Updated Aug 2, 2018

tk-notes / functional-programming-article-source-code

3

A repository for the source code of my Functional Programming article

clojure functional-programming functional-languages functional-language

Clojure Updated Nov 17, 2018

thomasebsmith / fleet

2

A flexible functional programming language with a C++ interpreter

cpp interpreted-programming-language functional-language

C++ Updated Mar 27, 2019

leonardoarcari / haskell_playground

2

An informal place where noob mistakes are allowed towards mastering Haskell

haskell functional-programming functional-language monads

Haskell Updated Jan 15, 2018

chameco / reliquary

2

Concatenative dependently-typed functional programming language

language functional-language dependent-types concatenative lambda-calculus

Haskell Updated Apr 28, 2017

Spriithy / fl

2

An attempt at a simple functional programming language

c virtual-machine stack-based stack bytecode bytecode-interpreter go golang type-system compiler functional functional-language

C Updated Dec 23, 2017

kourouklides / fsharp-examples

2

Example code in .NET F#

fsharp-samples fsharp fsharp-practice dotnet mono functional-programming functional-language f-sharp dot-net

Updated Aug 3, 2018

dhil / t20

2

Triple 20: A domain specific language for kernel-to-kernel transformations.

source-to-source dart kernel functional-language compiler domain-specific-language google kernel-transformations compilation

Dart Updated Jan 30, 2019

dantasfiles / PolyAML

1

Language interpreter for "PolyAML: A Polymorphic Aspect-oriented Functional Programming Language" at ACM Internationa…

standard-ml aspect-oriented-programming aspect-oriented functional-programming functional-languages functional-language functional language-interpreter

Standard ML Updated Jun 6, 2018

BenBeehler / B-Sharp

1

An open source, statically typed, functional programming language.

programming-language open-source java jvm jvm-languages language functional-programming functional-language hybrid bsharp

Java Updated Jan 22, 2018

i-yam-jeremy / gemloop

1

GemLoop: a functional programming language

parser interpreter functional-programming functional-language

JavaScript Updated Sep 26, 2018

functional-language

Repositories 51