Program your microcontrollers in a fast and robust high-level language.
- esp32
- toit
Repository Index
54,641 visible repositories in the index
25–48 of 91 · Most stars
An advanced, but easy to use, platform for writing functional applications in Java 8.
- functional-programming
- reactive-streams
- monoid
- streams
Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.
Cryptol: The Language of Cryptography
Queuer is a queue manager, built on top of OperationQueue and Dispatch (aka GCD).
- swift
- linux
- operationqueue
- semaphore
Peg, Parsing Expression Grammar, is an implementation of a Packrat parser generator.
Parse, Resolve, and Dereference JSON Schema $ref pointers in Node and browsers
- javascript
- nodejs
- json-schema
- json-reference
A Counter-Strike 2 Demo Parser for Go (demoinfo)
- counter-strike
- csgo
- golang
- go
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Vulkan API bindings for Go programming language
Skia4Delphi is a cross-platform 2D graphics API for Delphi platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
Quick development library (AutoMapper, LinQ, IOC Dependency Injection, MemoryCache, Scheduled tasks, Json and Yml Config and Options pattern, Serializers, etc) with crossplatform support for Delphi/Firemonkey (Windows,Linux,OSX/IOS/Android) and freepascal (Windows/Linux).
- delphi
- azure
- config
- json
Run Node.js on Android by rewrite Node.js in Java
- udt
- p2p
- node-android
- java
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
🥃 Functional Algebraic Data Types
- functional-programming
- monads
- monoids
- utilities
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
- clojure
- category-theory
- clojure-library
- monad
A "run" function for asyncio-based apps that does all the boilerplate.
- async
- async-await
- asynchronous
- asynchronous-tasks
ChoiceScript is a language for developing multiple-choice games.
Turn Buffer instances into "pointers"
Common combinators for Elixir
- pointfree
- curried-functions
- elixir
- functional-languages
ThreadLocal for Golang.
- go
- golang
- goid
- goroutine
[A]synchronous Functional Programming
- function-composition
- asynchronous
- transducers
- parallel