Lambda calculus implemented in Java
☆22Feb 7, 2017Updated 9 years ago
Alternatives and similar repositories for LambdaCalculus-java
Users that are interested in LambdaCalculus-java are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 4 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆12Jun 29, 2024Updated 2 years ago
- ☆11Sep 15, 2024Updated 2 years ago
- A demo Haskell Android app to calculate option prices by Monte Carlo simulation☆15Feb 17, 2014Updated 12 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- User defined intrinsics, tailrec optimization☆12Nov 26, 2022Updated 3 years ago
- Expands [%here] into its location☆13Jul 10, 2026Updated 3 months ago
- Search and fetch Java classes from AOT compiled binary file☆19Mar 6, 2022Updated 4 years ago
- The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.☆14Apr 11, 2026Updated 6 months ago
- HTTPRequest is an easy-to-use zero dependency Java wrapper to read from a URL. Support for Cookies, proxies, UserAgent, post data and mor…☆26Jul 16, 2023Updated 3 years ago
- Reasonable Go.☆10Aug 13, 2018Updated 8 years ago
- 记录自己从0 基础重新学习协程的心得体会☆13Nov 8, 2022Updated 3 years ago
- LIMITS is yet another fully open source, interoperable, decentralised real-time communication protocol!☆20Jan 15, 2023Updated 3 years ago
- MiaoScript implement☆11Oct 30, 2023Updated 3 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.
- 个人主页介绍与个人文章站源码(Github Pages)。☆14Jun 8, 2026Updated 4 months ago
- Parser Combinator of java☆13Oct 13, 2024Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 4 years ago
- GraalVM NativeImage Decompilation/Reverse Tool☆30Jan 21, 2024Updated 2 years ago
- Componente com diversas implementações de validadores☆13Sep 11, 2013Updated 13 years ago
- ☆12Aug 26, 2022Updated 4 years ago
- Issue tracker for Better Highlights Intellij IDEA plugin☆12Jul 16, 2023Updated 3 years ago
- Code for my blog☆10Feb 26, 2017Updated 9 years ago
- IntelliJ Settings Repository for http4k projects☆13May 26, 2023Updated 3 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.
- kamet - a simple programming language written in Kotlin.☆15Oct 9, 2020Updated 6 years ago
- Integration between Micronaut and JMS☆17Updated this week
- Quarkus RSocket extension☆16Apr 8, 2026Updated 6 months ago
- A tool that can dynamically modify Java classes at runtime.☆13Apr 22, 2022Updated 4 years ago
- Java virtual machine made in Java by HoverCatz#0060☆23Mar 16, 2024Updated 2 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆73Oct 22, 2026Updated last week
- drools workshop resources☆38Aug 25, 2017Updated 9 years ago
- Extending final classes!☆25Oct 9, 2017Updated 9 years ago
- A PlayerSlotAPI For MineCraft☆15Mar 1, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- HTTP Debugger Pro for block game☆28Dec 27, 2023Updated 2 years ago
- look at the technologies designed to support event-driven, messaging-centric services. messaging serves as the substrate for higher order…☆10Jan 31, 2018Updated 8 years ago
- LangChain4j Neo4j Graph RAG - Movies Search Demo. An AI-powered movie database application built with Java 21, Spring Boot 3.3.3, and Neo…☆11Jun 13, 2025Updated last year
- 🚀 CLI-like personal webpage built with Kotlin/JS in less than 900 lines of code☆13Jul 14, 2026Updated 3 months ago
- Tactic for polynomial manipulations☆13Updated this week
- 生产漫剧的无限画布 以及裁小说的工具☆17Mar 19, 2026Updated 7 months ago
- [TPAMI 2026] Official code for AnimateAnyMesh++: A Flexible 4D Foundation Model for High-Fidelity Text-Driven Mesh Animation☆14Apr 29, 2026Updated 6 months ago