Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
- microcontroller
- tinygo
- llvm
- wasm
Repository Index
47,133 repositories indexed
1–24 of 29 · Most stars
Esoteric Programming Language
A library for calling C functions from Go without Cgo
- cgo
- go
- golang
- purego
Swift type modelling the success/failure of arbitrary operations.
Computational parallel flows on top of GenStage
A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.
- cpp
- multithreading
- fibers
- task-scheduler
The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.
- qbit
- java
- microservice
- websocket-support
Parser combinators built for speed and memory efficiency
Functional programming for modern Fortran
- functional-programming
- fortran
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: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
The repository host gives no description.
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
: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
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
Regex based Python script that converts arbitrary gdscript code to C#
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase
RabbitMQ driver for Delphi
A Bitcoin Script Interpreter and Debugger in Scala
Command line argument parser for Delphi.
- pascal
- delphi
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Bitcoin Protocol components in Common Lisp
- bitcoin
- common-lisp
- cryptography
- bitcoin-api
Tealang - high level language for Algorand ASC1 and TEAL