A configuration as code language with rich validation and tooling.
- pkl
- java
- kotlin
- config
47,133 repositories indexed
1–24 of 53 · Most stars
A configuration as code language with rich validation and tooling.
Expression language and expression evaluation for Go
Khronos-reference front end for GLSL/ESSL, partial front end for HLSL, and a SPIR-V generator.
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖
Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)
Functional extensions for C#
tiny recursive descent expression parser, compiler, and evaluation engine for math expressions
A Parser for CSS Files written in PHP. Allows extraction of CSS files into a data structure, manipulation of said structure and output as (optimized) CSS
A Coq library for Homotopy Type Theory
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
DFA regular expression library & friends
math and logic formula parser and evaluator
Lightning Memory Database (LMDB) for Java: a low latency, transactional, sorted, embedded, key-value store
Expression evaluation in golang
Lanes is a lightweight, native, lazy evaluating multithreading library for Lua 5.1 to 5.5.
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
⚙️ Golang functional utility library with syntactic sugar. It's like lodash, but for Go
A modern supercompiler for call-by-value functional languages
C++11 (and onwards) library for lazy evaluation
Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
Common Lisp to JavaScript compiler
High performance System.Threading.(Value)Task computation expressions for F#
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.