A parser for Hidnley Milner notations
β25Dec 6, 2022Updated 3 years ago
Alternatives and similar repositories for hm-parser
Users that are interested in hm-parser are comparing it to the libraries listed below
Sorting:
- π€ JS / Flow syntax proposal. Types Γ la Hindley-Milner.β21Mar 20, 2017Updated 8 years ago
- Minutely clientside OpenStreetMap changeset streamsβ19Apr 15, 2023Updated 2 years ago
- [DEPRECATED] - Use http://github.com/schultyy/cabinet insteadβ11Jul 14, 2016Updated 9 years ago
- switch between different translations of a term π °οΈ π ±οΈβ26Mar 17, 2017Updated 8 years ago
- π Experimental tool to bootstrap typed JavaScript code.β33Nov 22, 2017Updated 8 years ago
- Visualise a changeset on a mapβ35Oct 9, 2025Updated 4 months ago
- The missing CLI for beautiful, interactive API docs powered by with Stoplight Elementsβ18Updated this week
- This package contains the `areaKeys` data structure extracted from the OpenStreetMap iD Editor project.β17Nov 4, 2025Updated 3 months ago
- Parse a person, author, contributor or maintainer string into an object with name, email and url properties following NPM conventions. Usβ¦β23Mar 8, 2017Updated 8 years ago
- β14Mar 11, 2017Updated 8 years ago
- A stream library for purescriptβ16Mar 21, 2017Updated 8 years ago
- Get the scroll speed being used on either the window or a particular element.β23Aug 22, 2018Updated 7 years ago
- Detect if a stream is a file streamβ19Apr 21, 2019Updated 6 years ago
- simple scope analysis for javascript ASTsβ24Dec 12, 2022Updated 3 years ago
- Stream travis logs to your terminal!β13Jun 7, 2017Updated 8 years ago
- Check if the process is running with elevated privilegesβ43Aug 11, 2021Updated 4 years ago
- Write a functional switch statement.β43Jul 25, 2017Updated 8 years ago
- A Rust-like Result utility for TypeScript.β18Jan 21, 2024Updated 2 years ago
- DAGs on top of hypercore, allowing verified random-access to graph nodesβ23Oct 11, 2016Updated 9 years ago
- jsmd ensures that you will never have outdated and non-working JavaScript code in your README files.β52Feb 8, 2024Updated 2 years ago
- β β‘ elementary cellular automata library β‘ββ25Apr 19, 2017Updated 8 years ago
- Convert GTFS data into GeoJSON.β26Nov 14, 2023Updated 2 years ago
- Do-notation for javascript fantasy landβ64Jan 18, 2014Updated 12 years ago
- Digital modular hardware/software synthesizer project based on Pure Data and Arduinoβ31May 3, 2018Updated 7 years ago
- IPC over PostgreSQL LISTEN/NOTIFY/UNLISTEN exposed as an EventEmitterβ31Apr 5, 2022Updated 3 years ago
- Readable stream that reads from a file descriptor. Supports tailing and retries.β16Mar 22, 2018Updated 7 years ago
- packs up browserify apps by inlining all assets into one html fileβ89Jun 11, 2014Updated 11 years ago
- A library for generating Typescript types that can be used transparently from Purescript.β68Jun 17, 2019Updated 6 years ago
- Aktionsseite fΓΌr Offene Fahrplandaten statt vernagelter Systemeβ30Oct 27, 2022Updated 3 years ago
- Experimental continuous Behaviors for most.jsβ32Dec 30, 2019Updated 6 years ago
- Mouse wheel event unified for all browsersβ29Oct 12, 2023Updated 2 years ago
- CSS Selectors for Snabbdom Virtual Nodesβ32Mar 1, 2023Updated 3 years ago
- unframework for universal uncomponents - use your uncomponents with no boundariesβ32Feb 12, 2026Updated 2 weeks ago
- A Functional, monadic test-runnerβ26Mar 3, 2017Updated 8 years ago
- Tagged-template-string regular-expression compiler.β33Jan 20, 2018Updated 8 years ago
- UBC MDS blog and academic siteβ16Feb 21, 2026Updated last week
- Qool, a leveldb backed Queueβ42Aug 9, 2016Updated 9 years ago
- npm install stopwordsβ44Dec 16, 2017Updated 8 years ago
- A shared library of depject modules to build Secure Scuttlebutt social network appsβ77Dec 30, 2022Updated 3 years ago