Java implementation of Hindley Milner type inference algorithm for lambda calculus.
☆11May 6, 2019Updated 7 years ago
Alternatives and similar repositories for LambdaHindleyMilner
Users that are interested in LambdaHindleyMilner are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Nov 4, 2016Updated 10 years ago
- ☆10Sep 19, 2019Updated 7 years ago
- 🎨 CryptoColors NFT Collection☆12Jan 11, 2022Updated 4 years ago
- Type Safe Erlang☆12Nov 16, 2017Updated 8 years ago
- lunatic: a toy lua interpreter☆18Jun 28, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- c++ implementation of a simple-virtual-machine☆14Sep 19, 2014Updated 12 years ago
- Listen to mobx-state-tree actions and react to them!☆15Feb 5, 2020Updated 6 years ago
- Software Security Anti-Patterns☆14Oct 31, 2019Updated 7 years ago
- A simple (and unfinished!!) database management system.☆21Jun 12, 2023Updated 3 years ago
- A bytecode interpreter for v 2.7.10☆14Aug 28, 2021Updated 5 years ago
- ☆10Jul 20, 2018Updated 8 years ago
- 👨🏫 Educational purpose virtual machine to assembly Neander and Neander+☆17Jan 18, 2019Updated 7 years ago
- Web Design / July 2015 / Group 1 (Sundays & Tuesdays 18-21)☆10Aug 24, 2015Updated 11 years ago
- compile TypeScript or JavaScript to binaries☆21May 25, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Toy programming language☆20May 18, 2024Updated 2 years ago
- Customised UITextField and UITextView with HintLabel, ErrorLabel, Divider and validations☆10May 20, 2016Updated 10 years ago
- Meu próprio jardim digital☆16May 9, 2023Updated 3 years ago
- Example use of leex and yecc in Elixir with an escript☆22Nov 11, 2025Updated 11 months ago
- Desktop application to download MP3 audio from youtube videos and playlists by simply copying its URL.☆12Sep 30, 2021Updated 5 years ago
- CreatorCon Advanced GlideRecord Scripting - CC2016☆10May 21, 2016Updated 10 years ago
- A framework for building your own configuration management tool☆13Oct 6, 2014Updated 12 years ago
- AreaCAD-GIS☆10Aug 23, 2016Updated 10 years ago
- Node.js REST API Wrapper for Azlo Bank.☆10Jan 27, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- mstranslator is a client to access Microsoft Translator marketplace API which written by Golang☆13May 26, 2021Updated 5 years ago
- Docker container that can build a hugo site from a git repo and push it to a s3 bucket.☆12Aug 22, 2017Updated 9 years ago
- Time Management application, for the blog series in https://dotnetcorecentral.com/☆10Mar 19, 2018Updated 8 years ago
- ☆11Dec 19, 2019Updated 6 years ago
- Full featured video transcoding using the Qencode API that can be easily modified for your website or application.☆10Sep 4, 2020Updated 6 years ago
- SQLite library for marmalade☆10Aug 3, 2011Updated 15 years ago
- A private tracker middleware for the chihaya BitTorrent tracker☆10Aug 17, 2019Updated 7 years ago
- Pure Type Systems for Functional Programming☆31Nov 21, 2020Updated 5 years ago
- EC2 resolver for sdns(1)☆10May 17, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A tiny React library to create styled components☆10Dec 13, 2017Updated 8 years ago
- cybersecurity toolbox☆10Dec 7, 2022Updated 3 years ago
- Naive dependancy injection for Swift☆10Jan 14, 2016Updated 10 years ago
- lua scripts for dota2☆10Jul 28, 2019Updated 7 years ago
- Ultibo and Nim☆10Aug 10, 2018Updated 8 years ago
- Observe newly added and removed DOM nodes matching a given selector☆10Feb 5, 2018Updated 8 years ago
- Alternate completing-read-multiple that uses completing-read☆10Jan 17, 2016Updated 10 years ago