Styled Component for yew
Repository Index
47,133 repositories indexed
553–576 of 654 · Most stars
Simple Hunspell wrapper for Delphi
Javascript recursion schemes compatible with flow-static-land
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
A Mustache template compiler.
- mustache
- translator
- compiler
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
A web framework for writing react components in common lisp using jscl
Go option and result types that optionally contain a value
- golang
- option
- result
- error
AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)
Lazy iterator implementation for Golang
- golang
- iterator
- golang-package
- golang-module
Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.
- bindbc
- dlang
- freetype
- freetype-bindings
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
Clojure-compatible threading/transformation/arrow macros for Common Lisp
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
TML Object Pascal Components
Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.
- bindbc
- lua
- lua-bindings
- dlang
Experiment to compile something Elm-ish to Wasm
Haskell bindings to Colin Percival's scrypt implementation.
A library that enables the usage of MaxmindDB geoIP databases by using the Rust library in a WASM module
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.