Typed Regular Expressions
- regex
- types
- gadt
- ocaml
55,140 visible repositories in the index
49–72 of 92 · Most stars
Typed Regular Expressions
Expression evaluation in golang
Reusable, composable patterns across Elixir libraries
Haskell bindings for Vulkan
A fast regular expression compiler in Common Lisp
Automatically exported from code.google.com/p/llvm-lua
Ruby bindings to RE2, a "fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python".
Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.
Functional Experiment in Golang
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
:ram: Lisp that compiles to JavaScript in the Ramda way
FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch
Parses and evaluates mathematical expressions in Elixir. Inspired by math.js
Experimental Malfunction backend for Idris
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
The repository host gives no description.
A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.
comvert bool expression to elasticsearch DSL in rust
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.
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
The repository host gives no description.
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
Matplotlib for Elixir