ChristopherAndrewTopalian/CATopalian_JavaScript_Library

A pure functional JavaScript Library that includes many useful functions.

Language: JavaScript - Size: 14.6 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

functionalscript/functionalscript

FunctionalScript is a safe purely functional subset of JavaScript

Language: TypeScript - Size: 1.61 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 51 - Forks: 4

dloscutoff/appleseed

An extensible, purely functional Lisp dialect.

Language: Python - Size: 384 KB - Last synced at: 6 days ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 1

mtumilowicz/scala-cats-free-monad-workshop

Introduction into functional programming free structures: free monads, free monoids, free applicatives.

Language: Scala - Size: 87.9 KB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2

mtumilowicz/scala-http4s-zio-doobie-workshop

Introduction to pure functional programming using effects with zio, http4s, fs2 and doobie.

Language: Scala - Size: 238 KB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1

pzuehlke/Hutton

Contains solutions to all of the exercises in and some scripts related to the book: Hutton, G. — Programming in Haskell (2nd ed.)

Language: Haskell - Size: 645 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 2

guenchi/json

a portable, powerful and pure functional JSON library for Scheme

Language: Scheme - Size: 897 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 48 - Forks: 3

raiyanu/bug-tracked

Language: CSS - Size: 6.26 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

TomerAberbach/programming-in-haskell-exercises

My solutions for the exercises presented in Graham Hutton's Programming in Haskell.

Language: Haskell - Size: 48.8 KB - Last synced at: 8 days ago - Pushed at: about 4 years ago - Stars: 10 - Forks: 5

fogfish/aws-cdk-pure

Purely Functional and high-order cloud components with AWS CDK

Language: TypeScript - Size: 1.22 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 93 - Forks: 6

SupraSummus/ipfs-execute

Pure containers using Bubblewrap and IPFS

Language: Shell - Size: 19.5 KB - Last synced at: 21 days ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 1

mtumilowicz/scala-graphql-caliban-workshop

Introduction to GraphQL using pure functional approach: Scala, Caliban and ZIO.

Language: Scala - Size: 118 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 2

mtumilowicz/scala-cats-tagless-final-http4s-middleware-workshop

Introduction to tagless final with cats and to http4s middleware.

Language: Scala - Size: 71.3 KB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 1

catseye/Cardboard-Prolog

MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme

Language: Scheme - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0

sander/noise-kotlin

Noise protocols based on Diffie-Hellman key agreement

Language: Kotlin - Size: 431 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 1

hermannhueck/little-monad-tutorial

Little Monad Tutorial in Scala

Language: Scala - Size: 296 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

4lisalehi/NUMEX

:1234: An interpreter of "NUMEX", Number Expression pure functional programming language, built with Racket

Language: Racket - Size: 345 KB - Last synced at: 9 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

catseye/Lanthorn

MIRROR of https://codeberg.org/catseye/Lanthorn : Demonstration of how letrec can be syntactic sugar in a purely functional language

Language: Haskell - Size: 96.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

catseye/Robin

MIRROR of https://codeberg.org/catseye/Robin : A Scheme-like language where both functions and macros are defined in terms of fexprs

Language: Haskell - Size: 937 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 1

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: 14 days ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0

gholomia/NUMEX

:jack_o_lantern: :ghost: The pure functional programming language interpreter, built with Racket under supervision of Prof. Mehran S. Fallah.

Language: Racket - Size: 464 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 23 - Forks: 0

lambdista/config

A type safe, purely functional configuration library for Scala

Language: Scala - Size: 955 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 30 - Forks: 1

asllop/calf

Programming language for parallel maths and vector processing in Rust.

Language: Rust - Size: 53.7 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

krzykrucz/e-lesson

E-Lesson system - functional DDD showcase

Language: Kotlin - Size: 2.99 MB - Last synced at: 9 months ago - Pushed at: almost 3 years ago - Stars: 6 - Forks: 0

gsthanhnguyen/space-invaders-game

Classic Space-Invaders game coded entirely in pure-functional language (Racket ISL).

Language: Racket - Size: 3.7 MB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

pureharm/pureharm-aws

Cats-effect Scala wrappers over Amazon's AWS Java SDK

Language: Scala - Size: 415 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 2

pureharm/pureharm-db-slick

Pure-functional Scala wrapper for Slick w/ cats-effect.

Language: Scala - Size: 443 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

robertdp/education-reports-frontend

Language: Elm - Size: 98.6 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

nicmr/rustis100

A TIS-100 emulator in Rust. TIS-100 is a fictive highly parallel computer architecture and instruciton set by Zachtronics.

Language: Rust - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

Jonqora/racket-sudoku

Feature-rich sudoku application coded entirely in a Lisp-based, pure-functional language (Racket ISL).

Language: Racket - Size: 94.8 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

Pharap/PureMetaFunctionalProof

Proof that C++ templates are effectively a pure functional programming language

Language: C++ - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 1

jonathancast/globalscript

Global Script Typesetting System --- git clone

Language: C - Size: 5.28 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ansaries/fp

Functional Programming Practice Exercises

Language: TypeScript - Size: 3.36 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

kalexmills/scala-with-monads

Examples building up Monads from scratch (without Cats.... mostly)

Language: Scala - Size: 33.2 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 2

bisignam/tidalexperiments

Tidal Experiments

Language: Haskell - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

archanpatkar/LambdaSharp

A Language based on Lambda (λ) Calculus which transpiles to F#

Language: F# - Size: 31.3 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

avitase/stateless_rand

Stateless and pure functional (pseudo) C++ random generator

Language: C++ - Size: 125 KB - Last synced at: 18 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

jonathancast/globalscript-spec

Global Script Language Spec / test suite

Language: JavaScript - Size: 72.3 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

UnoSD/UnoFS

UnoFS is a purely functional semantic file system implemented in F#

Language: F# - Size: 35.2 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0