GitHub topics: functional-language
roc-lang/roc
A fast, friendly, functional language.
Language: Rust - Size: 130 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 4,993 - Forks: 338

malgo-lang/malgo
A statically typed functional programming language.
Language: Haskell - Size: 40.9 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 41 - Forks: 0

ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language: OCaml - Size: 360 MB - Last synced at: 7 days ago - Pushed at: 16 days ago - Stars: 5,807 - Forks: 1,144

morloc-project/morloc
A typed, polyglot, functional language
Language: Haskell - Size: 6.13 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 196 - Forks: 4

sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Language: Haskell - Size: 938 KB - Last synced at: 11 days ago - Pushed at: over 4 years ago - Stars: 3,379 - Forks: 256

notdroplt/Zenith
my language project (this time better name and it actually works™)
Language: Zig - Size: 136 KB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 13 - Forks: 0

evhub/coconut
Simple, elegant, Pythonic functional programming.
Language: Python - Size: 7.32 MB - Last synced at: 15 days ago - Pushed at: about 2 months ago - Stars: 4,198 - Forks: 128

hirrolot/metalang99
Full-blown preprocessor metaprogramming
Language: C - Size: 11.9 MB - Last synced at: 11 days ago - Pushed at: 3 months ago - Stars: 929 - Forks: 28

yantrajs/yantra
JavaScript Engine for .NET
Language: JavaScript - Size: 7.07 MB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 246 - Forks: 7

janet-lang/janet
A dynamic language and bytecode vm
Language: C - Size: 14.3 MB - Last synced at: 19 days ago - Pushed at: 21 days ago - Stars: 3,818 - Forks: 239

leostera/caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
Language: OCaml - Size: 14.3 MB - Last synced at: 16 days ago - Pushed at: over 1 year ago - Stars: 1,078 - Forks: 25

DavidGregory084/mina
A minimum viable functional programming language for the JVM
Language: Java - Size: 3.23 MB - Last synced at: 27 days ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 1

SandroMaglione/fpdart
Functional programming in Dart and Flutter. All the main functional programming types and patterns fully documented, tested, and with examples.
Language: Dart - Size: 1.34 MB - Last synced at: 17 days ago - Pushed at: 7 months ago - Stars: 581 - Forks: 46

amuletml/amulet 📦
An ML-like functional programming language
Language: Haskell - Size: 3.93 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 334 - Forks: 16

imteekay/rachar-conta
A simple program to split bills with friends
Language: Clojure - Size: 18.6 KB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

julianmendez/soda
Object-oriented functional language to describe, analyze, and model human-centered problems
Language: Scala - Size: 3.82 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 5 - Forks: 1

bmqn/whisp
Stack-based functional programming language.
Language: C++ - Size: 1.94 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

lettier/lambda-lantern
🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.
Language: PureScript - Size: 13 MB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 167 - Forks: 10

Genivia/Husky
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
Language: Prolog - Size: 122 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 1

molarmanful/sclin
A concatenative cyborg chimera.
Language: Scala - Size: 652 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 9 - Forks: 1

curv3d/curv 📦
a language for making art using mathematics
Language: C++ - Size: 19.6 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1,146 - Forks: 73

chameco/reliquary
Concatenative dependently-typed functional programming language
Language: Haskell - Size: 73.2 KB - Last synced at: 1 day ago - Pushed at: about 8 years ago - Stars: 9 - Forks: 0

anaseto/goal 📦
Goal, an embeddable scripting array language. (mirror repository)
Language: Go - Size: 1.71 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 0

bynect/algorithm-w
Type inference implementation in OCaml using Algorithm W
Language: OCaml - Size: 58.6 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 1

AnyDSL/impala
An imperative and functional programming language
Language: C++ - Size: 7.91 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 153 - Forks: 13

MaxXSoft/Ionia
Design and implementation of a functional scripting language.
Language: C++ - Size: 149 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0

rusini/manool
Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability
Language: C - Size: 1.23 MB - Last synced at: about 2 months ago - Pushed at: 12 months ago - Stars: 63 - Forks: 3

ytaki0801/fpLISP
fpLISP: A minimum LISP interpreter for functional programming
Language: Shell - Size: 2.04 MB - Last synced at: about 13 hours ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0

eyelash/moebius
a simple and fast functional programming language
Language: C++ - Size: 553 KB - Last synced at: 27 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 1

rootmos/silly-ml
A a small ML-like language interpreted or compiled to x86-64 assembly with a custom runtime
Language: OCaml - Size: 131 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 7 - Forks: 1

issadarkthing/spirit
Interpreted, functional programming language with clojure syntax
Language: Go - Size: 682 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

Risa123/FPL
FPL programming language
Language: Java - Size: 1.41 MB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

cyrus-/typy
A fragmentary bidirectional type system as a Python library
Language: Python - Size: 609 KB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 52 - Forks: 1

Melchizedek6809/Nujel
A small, embeddable Lisp dialect
Language: Scheme - Size: 16.6 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 22 - Forks: 1

marcoantoniocorallo/Trustee
Trustee is a simple, statically typed, functional language that supports security primitives and taint analysis.
Language: OCaml - Size: 1.43 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

moevis/lambda-lite-js
a tiny FUNCITONAL LANGUAGE implemented by javascript. 一个函数式语言,使用 js 实现。
Language: JavaScript - Size: 95.7 KB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 78 - Forks: 6

dhil/t20
Triple 20: A domain specific language for kernel-to-kernel transformations.
Language: Dart - Size: 18.5 MB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 1

FelysNeko/Felys-Interpreter
Language for Elysia
Language: Rust - Size: 266 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

1boch1/murphy
Scanner, Parser and Interpreter of a simple functional programming language
Language: OCaml - Size: 44.9 KB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

never-lang/never
Never: statically typed, embeddable functional programming language.
Language: C - Size: 2.75 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 431 - Forks: 8

Merlin04/experimental-type-lang
Experimental programming language loosely based on the TypeScript type system
Language: TypeScript - Size: 5.02 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0

terroadamentiqueira/inventory
E-commerce Inventory Application for Empório da Roça
Language: Elixir - Size: 45.9 KB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
Language: Haskell - Size: 92.8 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

andgate/type-theory-compiler
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Language: Haskell - Size: 235 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 42 - Forks: 0

yesco/jml
jml - a useful web/cloud minimal unikernel distributed operating system
Language: C - Size: 624 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 12 - Forks: 3

andressadotpy/chat-server-phoenix
A chat server with Elixir and Phoenix framework.
Language: Elixir - Size: 52.7 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

itsgerassimos/GLP
GLP is an expandable interpreted new functional general purpose programming language.
Language: JavaScript - Size: 51.8 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

louisrubet/rpn
RPN cli calculator
Language: C++ - Size: 28.3 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 39 - Forks: 6

0cherry/RemoteSimpleFunctionalLangauge
Server - Client structure for testing
Language: Java - Size: 15.6 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

trackoor/Pistolet
🔫 Toy ML-like Imperative Programming Language (WIP)
Language: Rust - Size: 75.2 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 10 - Forks: 1

tk-notes/functional-programming-article-source-code
A repository for the source code of my Functional Programming article
Language: Clojure - Size: 23.4 KB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 3

Mvrtn-design/Ejercicios-Haskell
Planteamiento y resolución de varios apartados dentro del lenguaje de programación funcional HASKELL
Language: Haskell - Size: 12.7 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Jaimeloeuf/SS
SimpleScript, A Simpler Programming Language (WIP)
Language: Rust - Size: 576 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0

melody-notpond/curly-lang-legacy 📦
Curly programming language
Language: C - Size: 454 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 18 - Forks: 0

FrankC01/foidl
Bootstrap and Self-Hosted FOIDL compiler and runtime
Language: C - Size: 958 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1

gregfrazier/fn_lang
fn - functional programming at it's finest; handwritten lexer/parser in javascript
Language: JavaScript - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

madmann91/fu
A small functional language, implemented in C.
Language: C - Size: 1.17 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

egunnarsson/llfp
Prototype of a low level functional language using llvm
Language: C++ - Size: 924 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 2

kamilsan/lazy-interpreted-language
Interpreter for a custom, lazy-evaluated, functional language.
Language: C++ - Size: 658 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

danielkim802/Hyper
A scripting language with functional programming features
Language: C - Size: 267 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0

owaismohsin001/Sunlight-lang
Sunlight lang is a dynamic, lazy, and functional programming language that compiles to Lua and JS
Language: Haskell - Size: 801 KB - Last synced at: 7 days ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0

SamueleGiraudo/Aclove
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
Language: OCaml - Size: 145 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

mocabe/yave
Functional visual programming language with FRP for multimedia
Language: C++ - Size: 6.08 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 32 - Forks: 4

bakkdoor/rogato
A functional, declarative query-oriented programming language with an integrated graph database.
Language: Rust - Size: 1.52 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 0

DrearyLisper/sloe
Simple purely functional language based on lambda-calculus.
Language: Haskell - Size: 25.4 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

Arnie-He/KD-Tree-in-Pyret
Basic Implementation of KD-Tree in Pyret
Size: 2.93 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

msan19/Functional-Graph-Language
Functional Graph Language (FGL) is a domain specific language for intentional definition and generation of graphs.
Language: C# - Size: 1.14 MB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

danilkolikov/dfl
Differentiable Functional Language
Language: Haskell - Size: 646 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 6 - Forks: 0

aradarbel10/Styff
A functional programming language based on system F (omega) ft. NbE and higher order unification
Language: OCaml - Size: 12.6 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 0

Swiftaff/toylang
A functional toy language using Polish Notation which compiles to Rust for fun and experimentation.
Language: Rust - Size: 2.81 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

zmthy/kihi
A compositional functional programming language.
Language: Racket - Size: 55.7 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

icxd/real
A Functional Programming Language inspired by Haskell and Kotlin
Language: Rust - Size: 101 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

paulofalcao/MaterialMakerRayMarching
Make complex Ray Marching SDF objects using nodes with the Material Maker editor and this library
Size: 7.11 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 48 - Forks: 3

DasNaCl/toadml
Yet another programming language.
Language: Rust - Size: 531 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 14 - Forks: 0

i-yam-jeremy/gemloop
GemLoop: a functional programming language
Language: JavaScript - Size: 86.9 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

SpacialCircumstances/efun 📦
A simple interpreter for a functional programming language
Language: Kotlin - Size: 309 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

josh548/squirrel-csharp 📦
An expression-oriented programming language inspired by Lisp
Language: C# - Size: 117 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

DerYeger/FunctionalProgramming-SS20 📦
Solutions to the University of Kassel's Functional Programming course of the summer semester 2020.
Language: Haskell - Size: 143 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

BenBeehler/B-Sharp 📦
An open source, statically typed, functional programming language.
Language: Java - Size: 167 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

Fpstefan/mjoy
Interpreter for Subset of the Programming Language Joy with Turtle Graphics
Size: 13.4 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 2

Iainmon/LambdaScript
A functional programming language implementing the semantic rules of the lambda calculus (λ-calculus).
Language: C++ - Size: 8.68 MB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

thomasebsmith/fleet
A flexible functional programming language with a C++ interpreter
Language: C++ - Size: 130 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0

mtumilowicz/scala-zio2-fs2-refined-newtype-workshop
Introduction into fs2, newtype and refined types.
Language: Scala - Size: 124 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1

pitcer/brucket
Simple Racket-like functional language interpreter and transpiler written in Rust for learning purposes
Language: Rust - Size: 701 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

lambduli/frea
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
Language: Haskell - Size: 695 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 16 - Forks: 0

jtkristensen/rfun-interpreter
An implementation of a reversible programming language
Language: Haskell - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

htoigo/pong
A simple pong game implemented in Haskell.
Language: Haskell - Size: 53.4 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

SjVer/Solve
A toy programming language focussing on substitution
Language: C++ - Size: 85 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

reafreitas1/ice-cream_angular
June/2021 - Angular project with backend and frontend. Using npm functions to create components, services and directives.
Language: TypeScript - Size: 3.06 MB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

gianm99/pedidos
Práctica de Lenguajes de Programación (2019-2020)
Language: Common Lisp - Size: 2.78 MB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

tsreaper/mua-interpreter
An interpreter for the functional programming language Mua implemented in Java.
Language: Java - Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

stolnikov/pragmatic-fsharp
Explore functional programming with F# in the form of questions and answers
Language: F# - Size: 56.6 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

mbeorlegui/TP_Funcional
Trabajo práctico hecho en grupo para la materia Paradigmas de Programación (UTN-FRBA)
Language: Haskell - Size: 30.3 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

MichaelBosello/FOOL
LCMC FOOL language (object+functional) exercise ANTLR4
Language: Java - Size: 27.3 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

mrseanryan/scala-learning-public
Links, notes and experiments related to the Scala Coursera course. Does NOT include course assignments!
Language: Scala - Size: 187 KB - Last synced at: 21 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

dantasfiles/AspectML
Security case study for "AspectML: A Polymorphic Aspect-oriented Functional Programming Language" in ACM Transactions on Programming Languages & Systems
Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 0

mrbrunelli/my-first-elm-app
My Fist App using Elm Lang
Language: HTML - Size: 383 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

kekyo/Nesp
A Lisp-like lightweight functional language on .NET
Language: C# - Size: 1.62 MB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 1

Pharap/PureMetaFunctionalProof
Proof that C++ templates are effectively a pure functional programming language
Language: C++ - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 1

htoigo/sudokurry
A Haskell module for solving and generating Sudoku puzzles, along with a command-line solver / generator that uses the module.
Language: Haskell - Size: 2.06 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
