Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
47,133 repositories indexed
529–552 of 904 · Most stars
Programming language agnostic type construction language based on polynomials.
A framework for pluggable business logic components
:notes: Library for declaratively manipulating the Web Audio API
The metalua programming language
Jupyter's kernel for Elixir programming language
The D Completion Daemon is an auto-complete program for the D programming language
A lightweight yet powerful configuration manager for the Go programming language
Organize material to teach functional programming using Elixir
Astral-PE is a low-level mutator (Headers/EP obfuscator) for native Windows PE files (x32/x64)
Very fast synchronous and asynchronous C++17 logging library
Monad, Functional Programming features for Golang
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
🦥 A lazy functional iteration library supporting sync, async, and concurrent iteration.
Concuerror is a stateless model checking tool for Erlang programs.
Vulkan compute for people
DEPRECATED -> Checkout nishanthvijayan/CoderCalendar-Extensions
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
:recycle: Unidirectional State Management Architecture for Swift - Inspired by Vuex and Flux
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
Practical generic programming for F#
fp-go is a collection of Functional Programming helpers powered by Golang 1.18+ generics.
Common combinators for Elixir
An OCaml kernel for Jupyter (IPython) notebook
Pure Declarative Programming in Swift, Among Other Things