Topic

functional-programming

Repositories (1332)

tsec
tsec jmcardon Scala

Type-safe general-cryptography library - https://jmcardon.github.io/tsec/

351
genesis
genesis life4 Go

All generic functions for Go you ever need!

351
lfi
lfi TomerAberbach TypeScript

🦥 A lazy functional iteration library supporting sync, async, and concurrent iteration.

348
NeoHaskell
NeoHaskell neohaskell Haskell

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

346
candy
candy candy-lang Rust

🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.

344
ixion
ixion ixionlang Kotlin

🔮 modern scripting programming language

343
hareactive
hareactive funkia TypeScript

Purely functional reactive programming library

339
pure-lang
pure-lang agraef C++

Pure programming language

339
python-lenses
python-lenses ingolemo Python

A python lens library for manipulating deeply nested immutable structures

339
bash-fun
bash-fun ssledz Shell

Functional programming in bash

336
mu-scala
mu-scala higherkindness Scala

Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2

335
csound-expression
csound-expression spell-music Haskell

Haskell Framework for Electronic Music

335
programming
programming hacktoberfest17 Java

Code a program in a language of your choice.

331
Wonder.js
Wonder.js Wonder-Technology ReScript

:rocket:Functional, High performance 3D Webgl Engine

329
quack
quack quack PHP

:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS

326
aecor
aecor notxcain Scala

Pure functional event sourcing runtime

325
fp-go
fp-go repeale Go

fp-go is a collection of Functional Programming helpers powered by Golang 1.18+ generics.

325
eyg-lang
eyg-lang CrowdHailer Gleam

The safest scripting language for you, or your agent.

324
quark
quark witchcrafters Elixir

Common combinators for Elixir

322
cats-tagless
cats-tagless typelevel Scala

Library of utilities for tagless final encoded algebras

319
Here-Be-Dragons
Here-Be-Dragons anupcowkur Java

An Intellij/Android Studio plugin to help visualise side effects in your code.

318
parjs
parjs GregRos TypeScript

JavaScript parser-combinator library

318
elmboy
elmboy Malax Elm

A Nintendo™ Game Boy™ Emulator written in Elm.

317
bitcoin-chart-cli
bitcoin-chart-cli madnight JavaScript

Bitcoin chart for the terminal as command line util

317
apex-fp
apex-fp ipavlic Apex

Functional programming for Salesforce Apex

317
golang-tutorials
golang-tutorials alexandregama Go

Go Tutorials - Let's get our hands really dirty by writing a lot of Golang code

316
ocaml-jupyter
ocaml-jupyter akabe Jupyter Notebook

An OCaml kernel for Jupyter (IPython) notebook

316
functional_intro_to_python
functional_intro_to_python noahgift Jupyter Notebook

[tutorial]A functional, Data Science focused introduction to Python

315
lambda
lambda pagarme JavaScript

🔮 Estudos obscuros de programação funcional

314
odin
odin valskalla Scala

Fast & Functional logger in Scala

311
typelang
typelang ronami TypeScript

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

310
kocircuit
kocircuit kocircuit Go

Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations

308
cats-mtl
cats-mtl typelevel Scala

cats transformer type classes.

307
mlkit
mlkit melsman Standard ML

Standard ML Compiler and Toolkit

305
swift-gen
swift-gen pointfreeco Swift

🎱 Composable, transformable, controllable randomness.

304
lambda-RLM
lambda-RLM lambda-calculus-LLM Python

Method for Long Context RLMs using verifiable Lambda Calculus

304
elm-ts
elm-ts gcanti TypeScript

A porting to TypeScript featuring fp-ts, rxjs6 and React

300
hamsters
hamsters scala-hamsters Scala

A mini Scala utility library

296
remote-data-ts
remote-data-ts devexperts TypeScript

RemoteData type

294
FunctionKit
FunctionKit mpangburn Swift

A framework for functional types and operations designed to fit naturally into Swift.

293
underscore.py
underscore.py serkanyersen Python

Python port of underscore.js

292
KotlinTutorial
KotlinTutorial smartherd Kotlin

Learn Kotlin programming from scratch

292
FuncShell
FuncShell iostreamer-X Haskell

Improve your shell by making it functional through Haskell! (An update to Awkward)

290
suddi.github.io
suddi.github.io suddi CSS

A static single-page application resume-builder developed using React.js and JSON Resume schema (https://suddi.io/)

285
fmodel
fmodel fraktalio Kotlin

Functional, Algebraic and Reactive domain modeling with Kotlin (Multiplatform)

285
lambdas
lambdas dry-python Python

Write short and fully-typed lambdas where you need them.

285
java
java eazybytes Java

Java Programming: A Comprehensive Bootcamp from Zero to Hero

284
rubico
rubico a-synchronous JavaScript

[A]synchronous Functional Programming

283
hyper
hyper purescript-hyper PureScript

Type-safe, statically checked composition of HTTP servers

279
programming-language-research
programming-language-research veyselusta

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

273