A Beautiful Parser for the ECMAScript Language
Repository Index
47,133 repositories indexed
73–96 of 117 · Most stars
Haxe native extension for the Steam API
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust
A simple Elixir Markdown to HTML conversion library
A fast and simple .NET parsing library
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
A total recursion scheme library for Dhall
- dhall
- recursion-schemes
Golang source code parsing, usage like reflect package
- refactor
- metaprogramming
- go
- ast
Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow
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
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
ABNF in, parser out
- abnf
- parsing
- parser-generator
- elixir
extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
- f-sharp
- parser
- combinator
- library
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.
Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.
- parser-combinators
- common-lisp
D version of the C headers for openssl
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Rcpp Bindings to C++ parser for TOML files
- r
- c-plus-plus-11
- cran
- r-package