Repository Index

Swig template compiler for Gulp

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

Compile JavaScript to Dart so that you can compile it back to JavaScript and run.

Natural 🌿 effect system that fits TypeScript

• algebraic-effects
• computational-effects
• effect-system
• extensible-effects

The repository host gives no description.

Less CSS compiler written in Java

Compilation and Verification of Data-Centric Languages

• verification
• query-language
• query-engine
• functional-programming

Node module that is bridged with the Java Hapi HL7 library.

• hl7-parsing
• hl7-message
• hit
• healthcare

Builds of the GNAT Ada compiler from FSF GCC releases

CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.

Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.

• compiler
• go
• golang
• graphics

Function composition

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

Generate Yew components from React components via Typescript type definitions

• yew
• proc-macro
• react
• typescript

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

Reactive computation tree library for non-blocking concurrent Common Lisp

• data-flow
• asynchronous
• common-lisp
• concurrency

Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

• c
• cicili
• compiler
• lisp

Advanced Function composition to use with RxJava [STABLE]

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.

• concurrent
• golang
• golang-library
• data-science

CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.

Versatile Go code generator.

• golang
• code-generator
• generics
• conditional-compilation