C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Repository Index
47,133 repositories indexed
25–48 of 235 · Most stars
High performance, maintainable stylesheets.
Duktape - embeddable Javascript engine with a focus on portability and compact footprint
- javascript-engine
- javascript
- duktape
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
Translated📌 Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.
- java
- thread-pool
- dynamic
- monitor
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
- lebab
- javascript
- compiler
- es2015
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.
- lwjgl
- kotlin
- opengl
- opencl
Lightweight, modular, and extensible library for functional programming.
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
Low-latency machine code generation
- x86
- x86-64
- jit
- assembler
A portable foreign-function interface library.
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
- garbage-collection
- memory-management
- memory-leak-detection
- c
The extensible chat client.
- chat
- irc
- c
- extensible
F# to JavaScript, TypeScript, Python, Rust, Erlang and Dart Compiler
- fsharp
- javascript
- typescript
- dart
JavaScript & TypeScript persistent and optionally immutable data tree with cursors.
Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)
- golang
- go
- cel
- expression
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
python parser for human readable dates
- hacktoberfest
Wonderful reusable code from Twitter
- finagle
- scala
- utility
Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
- java
- eclipse-collections
- java-collections
- collections
Golang bindings of Sciter: the Embeddable HTML/CSS/script engine for modern UI development
- gui
- sciter
- tiscript
- htmlayout
A declarative, extensible framework for building Elixir applications.
- elixir
- framework
- dsl
- ash
Functional Programming Library for C++. Write concise and readable C++ code.
- range
- composition
- stl
- functional-programming