Functional programming in Groovy
Repository Index
47,133 repositories indexed
457–480 of 654 · Most stars
Cl-coroutine is a coroutine library for Common Lisp. It uses cl-cont continuations library in its implementation.
A rebar3 port compiler
Swig template compiler for Gulp
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
a tool for handling file uploads simple
- file
- upload
- multipart
- http
Simple internal application messaging for Delphi
- dpmpackage
- delphi
- vsoft
- vcl
Simple and performant utilies using Go generics inspired by JavaScript and Python
- golang
- go
- utilities
- generics
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.
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
- scala
- dfa
- regular-expression
- regular-expression-engine
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