A Lexical Analyzer Generator
- lexer
- lex
- lexical-analysis
- common-lisp
Repository Index
85,578 visible repositories in the index
721–744 of 926 · Most stars
Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow
Simple and performant utilies using Go generics inspired by JavaScript and Python
- golang
- go
- utilities
- generics
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
The repository host gives no description.
JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Parse placeholder and wildcard text commands
- parsing
- go
- golang
- text
Node module that is bridged with the Java Hapi HL7 library.
- hl7-parsing
- hl7-message
- hit
- healthcare
Lightweight promises for iOS, macOS, tvOS, watchOS, and Linux
Pipelines using goroutines
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Macro for tapping into a pattern match while using the pipe operator
Extensible event loop and async-oriented IO for Scala Native; powered by libuv
My personal website written in rust via yew/wasm
- yew
- rust
- wasm
- wasm-bindgen
ABNF in, parser out
- abnf
- parsing
- parser-generator
- elixir
Julia interface to WebGL using Three-js custom elements and Patchwork.jl
Wait for any promise to be fulfilled
Function composition
extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
- f-sharp
- parser
- combinator
- library
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
The Effect monad, for handling native side effects