The Wayback Machine - https://web.archive.org/web/20201004220235/https://github.com/topics/functional-language

#

functional-language

Here are 80 public repositories matching this topic...

evhub / coconut

Star

Open

Respect NOQA comments

evhub commented Sep 20, 2020

Should suppress --strict warnings.

Read more

bounty: $15 enhancement good first issue

Open

Better IDE integration

2

Open

Providing a language server implementation for coconut

1

Find more good first issues →

ocaml

ocaml / ocaml

Star

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

compiler ocaml functional-language

Updated Oct 4, 2020
OCaml

sdiehl / write-you-a-haskell

Star

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

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

Updated Oct 1, 2020
Haskell

janet-lang / janet

Star

A dynamic language and bytecode vm

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

Updated Oct 4, 2020
C

curv3d / curv

Star

a language for making art using mathematics

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

Updated Oct 4, 2020
C++

leandrotk / functional-programming-learning-path

Star

A Learning Path for Functional Programming

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

Updated May 10, 2020
Clojure

never-lang / never

Star

Never: statically typed, embeddable functional programming language.

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

Updated Oct 4, 2020
C

amuletml / amulet

Star

Open

Further editor fanciness

1

SquidDev commented Nov 15, 2019

Features

Code folding: This should be pretty easy - just walk over any "large" definitions and offer to fold them to a single line.
Type at cursor/Type tooltip.
Completion
Document highlight: This should just be composed of "find this symbol" and then "walk the entire resolved tree".
Go to definition: The nicest approach to this mi

Read more

enhancement good first issue help wanted

AnyDSL / impala

Star

An imperative and functional programming language.

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

Updated Sep 30, 2020
C++

lettier / lambda-lantern

Star

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

Updated Jun 13, 2019
PureScript

moevis / lambda-lite-js

Star

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

javascript lambda functional-language

Updated Aug 22, 2018
JavaScript

cyrus- / typy

Star

A fragmentary bidirectional type system as a Python library

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

Updated Oct 29, 2018
Python

jenshaase / phel-lang

Star

The Phel Language

language php web lisp functional-language phel

Updated Sep 25, 2020
PHP

manool

rusini / manool

Star

Programming language meant to make exploratory programming safer and faster

programming-language development functional programming interpreter compiler functional-programming procedural software-development functional-language general-purpose strongly-typed practical imperative homoiconic procedural-programming multi-paradigm imperative-programming dynamically-typed functional-core

Updated Sep 26, 2020
C

andgate / type-theory-compiler

Star

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

compiler functional-programming lambda-calculus languages type-system functional-language

Updated Jul 27, 2019
Haskell

morloc-project / morloc

Star

A typed, multilingual, functional language

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

Updated Oct 4, 2020
Haskell

louisrubet / rpn

Star

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

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

Updated Mar 2, 2019
C++

tk-learning-center / learning-javascript

Star

This repo was moved to the programming language theory repo: https://github.com/leandrotk/programming-language-theory

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

Updated Aug 2, 2020
JavaScript

mauriciotogneri / jan

Star

Purely functional programming language with an ultra minimalist syntax that uses prefix notation to apply functions and operators within expressions.

language programming-language functional-programming notation complex pseudocode polish-notation functional-language operand concatenation comparison-operators prefix-notation arithmetic-operators jan characteristics

Updated Apr 8, 2019
Java

98devin / woden-lang

Star

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

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

Updated Sep 11, 2016
LiveScript

yesco / jml

Star

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

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

Updated Jul 30, 2020
C

jenra-uwu / curly-lang

Star

Curly programming language

c programming-language functional-programming functional-language curly

Updated Oct 4, 2020
C

danilkolikov / dfl

Star

Differentiable Functional Language

machine-learning neural-networks functional-language differentiable-programming

Updated May 5, 2020
Haskell

Genivia / Husky

Star

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

lambda-calculus lazy-evaluation functional-language hindley-milner type-inference

Updated Sep 21, 2020
Prolog

kekyo / Nesp

Star

A Lisp-like lightweight functional language on .NET

lisp csharp compiler dotnet repl functional-language

Updated Nov 25, 2019
C#

MaxXSoft / Ionia

Star

Design and implementation of a functional scripting language.

vm interpreter compiler scripting-language functional-language

Updated Sep 16, 2019
C++

chameco / reliquary

Star

Concatenative dependently-typed functional programming language

language dependent-types lambda-calculus concatenative functional-language

Updated Apr 28, 2017
Haskell

rootmos / silly-ml

Star

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

experimental compiler x86-64 ocaml silly functional-language

Updated Jul 23, 2017
OCaml

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

Star

A repository for the source code of my Functional Programming article

clojure functional-programming functional-languages functional-language

Updated Nov 17, 2018
Clojure

thomasebsmith / fleet

Star

A flexible functional programming language with a C++ interpreter

cpp interpreted-programming-language functional-language

Updated Oct 2, 2020
C++

Improve this page

Add a description, image, and links to the functional-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the functional-language topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.