Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
Repository Index
47,133 repositories indexed
145–168 of 336 · Most stars
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
java port of Underscore.js
- java
- underscore
- javascript
- functional-programming
A Parsing Expression Grammar (PEG) module, using the D programming language.
go-functional is a library of iterators to augment the standard library
- go
- golang
- functional-programming
http://hopac.github.io/Hopac/Hopac.html
- concurrent-programming
- csp
- actors
- cml
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
⚙️ Golang functional utility library with syntactic sugar. It's like lodash, but for Go
- golang
- functional-programming
- utility-library
- go
Interactive console for Crystal programming language
- crystal
- repl
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
🥃 Functional Algebraic Data Types
- functional-programming
- monads
- monoids
- utilities
A simple wrapper around libpcap for the Go programming language
A modern supercompiler for call-by-value functional languages
The new generation Pascal programming language for .NET
Yet Another LINQ to Objects for PHP [Simplified BSD]
- linq
- php
- functional-programming
- query
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
- cil
- msil
- c
- csharp
Functional programming for modern Fortran
- functional-programming
- fortran
The Ott tool for writing definitions of programming languages and calculi
The OpenMusic visual programming / computer-aided composition environment
- computer-aided-composition
- visual-programming
- music
- openmusic
A language where the code is written with folders
- esolang
- esoteric-language
- esoteric-programming-language
- programming-language
Swift µframework of simple functional programming tools
A scripting language for .NET Core
- c-sharp
- programming-language
- mond
- scripting