Sodium - Functional Reactive Programming (FRP) Library for multiple languages
Repository Index
47,133 repositories indexed
25–48 of 66 · Most stars
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.
A collection of ROM images with tests that will aid you in developing your own CHIP-8, SUPER-CHIP or XO-CHIP interpreter (or "emulator")
- chip-8
- chip-8-emulator
- chip-8-interpreter
- chip-8-roms
webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.
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
A modern supercompiler for call-by-value functional languages
Next-level syntax for C-like languages :)
Language bindings generated from the GTFS Realtime protocol buffer spec for popular languages.
The Ott tool for writing definitions of programming languages and calculi
A scripting language for .NET Core
- c-sharp
- programming-language
- mond
- scripting
Common combinators for Elixir
- pointfree
- curried-functions
- elixir
- functional-languages
A simple library for parsing messages of Health Level 7 (HL7) version 2.x into Python objects.
Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
GoJava - Java bindings for Go packages
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
- topic
- pubsub
- go
- golang
Unit tests generator for Go programming language
- go
- golang
- unit-testing
- generator
Fast SIP and SDP Parser
- sip-headers
- parse
- sdp
- sip-messages
The repository host gives no description.
a tool for handling file uploads simple
- file
- upload
- multipart
- http
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
Crystal wrapper for the libsodium crypto API
- crystal
- cryptography
- nacl
- libsodium
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
- pycom
- micropython
- lopy
- wipy
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect