#

functional-language

Here are 89 public repositories matching this topic...

ocaml

ocaml / ocaml

Star

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

compiler ocaml functional-language

Updated Dec 14, 2020
OCaml

evhub / coconut

Sponsor 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

3

Open

Providing a language server implementation for coconut

1

Find more good first issues →

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 30, 2020
Haskell

janet-lang / janet

Star

A dynamic language and bytecode vm

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

Updated Dec 14, 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 Dec 14, 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 Dec 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 Dec 13, 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

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 Nov 7, 2020
C

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 Dec 13, 2020
PHP

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 Nov 14, 2020
Haskell

takoeight0821 / kagami

Star

a collection of toy programming language implementations and toolchains

programming-language compiler functional-language

Updated Dec 12, 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

jenra-uwu / curly-lang

Star

Curly programming language

c programming-language functional-programming functional-language curly

Updated Dec 2, 2020
C

kwanghoon / polyrpc

Star

PolyRPC, A multi-tier functional programming language

programming-language functional-language

Updated Dec 13, 2020
Haskell

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

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

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

yezz123 / ML

Star

general-purpose functional programming language using python

python programming-languages functional-language theorem-provers

Updated Oct 31, 2020
Python

kekyo / Nesp

Sponsor Star

A Lisp-like lightweight functional language on .NET

lisp csharp compiler dotnet repl functional-language

Updated Nov 25, 2019
C#

danilkolikov / dfl

Star

Differentiable Functional Language

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

Updated May 5, 2020
Haskell

MaxXSoft / Ionia

Star

Design and implementation of a functional scripting language.

vm interpreter compiler scripting-language functional-language

Updated Sep 16, 2019
C++

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

chameco / reliquary

Star

Concatenative dependently-typed functional programming language

language dependent-types lambda-calculus concatenative functional-language

Updated Apr 28, 2017
Haskell

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.