125 Open source projects that are alternatives of or similar to Narc Rs

the minimal grammar, high performance JavaScript pattern matching implementation

non-backtracking NFA-based regular expression library, for C and Python

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

(De)multiplex asynchronous streams

Cicada Language

Qo - Query Object - Pattern matching and fluent querying in Ruby

Rust bindings for VirusTotal/Yara

Tools for transparent data transformation

The medieval language held together by twine.

Library created for testing JSON against patterns.

String helper methods and an inflector

full-featured pattern-matching in python, however it's more likely to be dynamic contracts.

A macro to define clojure functions with parameter pattern matching just like erlang or elixir.

Lecture note on Lambda Calculus and Types for FLOLAC

The Egison Programming Language

The MLPolyR programming language, revived

Pampy: The Pattern Matching for Python you always dreamed of.

Bop is a very fast Boyer-Moore parser/matcher for String or Buffer patterns.

Incremental view maintenance for openCypher graph queries.

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

Simple pattern-matching library for Clojure(Script)

Java Pattern Matching library

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

CVparser is software for parsing or extracting data out of CV/resumes.

Pattern matching for the monads in the cats Clojure library

tasty feature extensions for python3(NO MAINTENANCE!).

Homotopy Type Theory proofs in Idris

Experimental implementation of Cubical Type Theory

Minimalist dependency injection library for Python that embraces type annotations syntax

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

JavaScript functional conditional expression

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

A fragmentary bidirectional type system as a Python library

Expression transformation package

Learning with Peter Norvig's lis.py interpreter

Programming language agnostic type construction language based on polynomials.

Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.

Super tiny and ~350% faster alternative to node-glob

Flexible, expressive pattern matching for Ruby

Research on integrating datalog & lambda calculus via monotonicity types

The most powerful and customizable binary pattern scanner

Towards changing things and see if it proofs

The Ultimate Workshop Track for #Rust Developer

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Pattern matchings for Go.

Pampy.js: Pattern Matching for JavaScript

Variant types in TypeScript

Simple pattern matching in Typescript

A research project in path semantics, a re-interpretation of functions for expressing mathematics

Homotopy type theory

Type Theory in Type Theory using Cubical Agda

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Developer friendly Natural Language Processing ✨

This is an experimental library that has evolved to P1371, proposed for C++23.

TypeScript does not have any pattern matching functionality built in. This article shows several ways how you can replicate the core of a simple pattern matcher using a few simple structures and functions within TypeScript. Resulting code will have improved maintainability and better runtime type safety when done right.

Ruby port of some Scala's monads

A DSL for method overloading in Ruby based on pattern matching

🎨 A complete Pattern Matching library for TypeScript, with smart type inference.

λΠ Programming Language Theory

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!