maeln/LambdaHindleyMilner external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

maeln/LambdaHindleyMilner

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/maeln/LambdaHindleyMilner)

Close

maeln / LambdaHindleyMilnerView on GitHubMore

• External links
• Readme badge

Java implementation of Hindley Milner type inference algorithm for lambda calculus.

☆11May 6, 2019Updated 6 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.

• devmessias / Functors-Applicatives-e-Monads-em-Figuras

  View on GitHub
  ☆12Nov 4, 2016Updated 9 years ago
• akinncar / crypto-colors

  View on GitHub
  🎨 CryptoColors NFT Collection
  ☆12Jan 11, 2022Updated 4 years ago
• vrnithinkumar / ETC

  View on GitHub
  ETC
  ☆15Aug 27, 2021Updated 4 years ago
• jpages / twopy

  View on GitHub
  A Python JIT compiler
  ☆12May 29, 2019Updated 6 years ago
• welksonramos / postcss-brazilian-portuguese-stylesheets

  View on GitHub
  PostCSS plugin for writing CSS in Brazilian Portuguese
  ☆11May 18, 2016Updated 9 years ago
• Deploy open-source AI quickly and easily - Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• cebe / linehighlight

  View on GitHub
  Code line highlighting for LaTeX with lstlisting (for beamer)
  ☆16Nov 11, 2014Updated 11 years ago
• mikpe / erlscheme

  View on GitHub
  An implementation of the Scheme programming language for the Erlang/OTP VM.
  ☆17Dec 13, 2025Updated 4 months ago
• vyasmayank43 / CustomInputTextField

  View on GitHub
  Customised UITextField and UITextView with HintLabel, ErrorLabel, Divider and validations
  ☆10May 20, 2016Updated 9 years ago
• cnwzhjs / python.erl

  View on GitHub
  Python interpreter written in pure Erlang.
  ☆60Jan 10, 2013Updated 13 years ago
• shiinamiyuki / lunatic

  View on GitHub
  lunatic: a toy lua interpreter
  ☆18Jun 28, 2020Updated 5 years ago
• bedirhan / antipatterns

  View on GitHub
  Software Security Anti-Patterns
  ☆14Oct 31, 2019Updated 6 years ago
• au-webdesign / CSC1700

  View on GitHub
  ☆10Sep 19, 2019Updated 6 years ago
• lffg / fdb

  View on GitHub
  A simple (and unfinished!!) database management system.
  ☆21Jun 12, 2023Updated 2 years ago
• nithinkr1shna / python-bytecode-interpreter

  View on GitHub
  A bytecode interpreter for v 2.7.10
  ☆14Aug 28, 2021Updated 4 years ago
• Wordpress hosting with auto-scaling - Free Trial • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• lucassouzamatos / chico.lang

  View on GitHub
  a functional toy language
  ☆17Feb 23, 2023Updated 3 years ago
• powrjs / powr

  View on GitHub
  compile TypeScript or JavaScript to binaries
  ☆21May 25, 2023Updated 2 years ago
• macabeus / rust-neander

  View on GitHub
  👨‍🏫 Educational purpose virtual machine to assembly Neander and Neander+
  ☆17Jan 18, 2019Updated 7 years ago
• Kartik-Mathur / Launchpad_18Codes

  View on GitHub
  ☆10Jul 20, 2018Updated 7 years ago
• samueldurantes / haildo

  View on GitHub
  Toy programming language
  ☆20May 18, 2024Updated last year
• sascha-andres / git-commit

  View on GitHub
  a configurable git commit hook implementation
  ☆10Jul 6, 2020Updated 5 years ago
• dibagaran / wd-2015-7-alpha

  View on GitHub
  Web Design / July 2015 / Group 1 (Sundays & Tuesdays 18-21)
  ☆10Aug 24, 2015Updated 10 years ago
• nswbmw / npm-user-downloads

  View on GitHub
  List npm user all modules download counts.
  ☆10Sep 5, 2017Updated 8 years ago
• mrd0ll4r / chihaya-privtrak-middleware

  View on GitHub
  A private tracker middleware for the chihaya BitTorrent tracker
  ☆10Aug 17, 2019Updated 6 years ago
• Wordpress hosting with auto-scaling - Free Trial • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ericclemmons / create-preact-pwa

  View on GitHub
  "yarn create"-friendly version of preact-cli
  ☆10May 24, 2017Updated 8 years ago
• mAarnos / Serkr

  View on GitHub
  An automated theorem prover for first order logic.
  ☆31Mar 23, 2017Updated 9 years ago
• alphalegionwarrior / cybersecurity

  View on GitHub
  cybersecurity toolbox
  ☆10Dec 7, 2022Updated 3 years ago
• kjam / europarl_scraper

  View on GitHub
  European Parliament website Python scraper
  ☆12Oct 19, 2016Updated 9 years ago
• lassoinc / haskell-cypher

  View on GitHub
  A haskell wrapper for neo4j's Cypher REST API.
  ☆20Jul 31, 2012Updated 13 years ago
• notwaldorf / old-research-papers

  View on GitHub
  Old Reinforcement Learning research from university
  ☆10Jan 4, 2017Updated 9 years ago
• sunfmin / reflectutils

  View on GitHub
  Easier way to use reflect to set and get values in Go
  ☆14Jul 24, 2024Updated last year
• kevinlynx / servlet-web-framework-demo

  View on GitHub
  a minimum demo web framework based on servlet
  ☆10Sep 3, 2015Updated 10 years ago
• akinncar / amora

  View on GitHub
  🫐 Amora is an app to help establishments to retain customers made with React Native
  ☆24Nov 22, 2023Updated 2 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• FlorinPopaCodes / integer_hash

  View on GitHub
  Integer hashing based on Knuth's multiplicative hashing algorithm.
  ☆10Nov 23, 2019Updated 6 years ago
• dthume / data.interval-tree

  View on GitHub
  Interval Treeset based on finger trees
  ☆11Oct 28, 2020Updated 5 years ago
• paulinhacnn / pythondozero

  View on GitHub
  ☆10Jul 27, 2018Updated 7 years ago
• haskell-works / hw-all

  View on GitHub
  ☆10Dec 5, 2022Updated 3 years ago
• letcheng / Js-Deeplinks

  View on GitHub
  支持 网页链接，app store，play、国内众多应用商店，以及应用内deeplink打开的javascript库
  ☆10May 9, 2016Updated 9 years ago
• wanttobeno / GetPeInfo

  View on GitHub
  v1版完成对PE头，区段，输入表的解析
  ☆11Apr 16, 2018Updated 8 years ago
• didierfranc / react-sc

  View on GitHub
  A tiny React library to create styled components
  ☆10Dec 13, 2017Updated 8 years ago