Lambda calculus implemented in Java
☆20Feb 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 3 years ago
- A simple and stable proxy DLL for Windows x64☆16May 31, 2021Updated 5 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- User defined intrinsics, tailrec optimization☆12Nov 26, 2022Updated 3 years ago
- ☆11Sep 15, 2024Updated last year
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆11Jun 29, 2024Updated last year
- Expands [%here] into its location☆13May 18, 2026Updated 3 weeks ago
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆24Sep 25, 2011Updated 14 years 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…☆24Jul 16, 2023Updated 2 years ago
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- MiaoScript implement☆11Oct 30, 2023Updated 2 years ago
- a jit complier for GMH(GrassMudHorse Language) 草泥马语言JIT编译器☆23Oct 23, 2013Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- eBPF version of https://github.com/brendangregg/wss☆11Jan 26, 2023Updated 3 years ago
- ☆12Aug 26, 2022Updated 3 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 3 years ago
- LIMITS is yet another fully open source, interoperable, decentralised real-time communication protocol!☆20Jan 15, 2023Updated 3 years ago
- A Python library for working with finite state automata.☆26Oct 12, 2011Updated 14 years ago
- 个人主页介绍与个人文章站源码(Github Pages)。☆13Updated this week
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- SonicTab is an API (Application Programming Interface) that will allow you to create customized Spigot / NMS / Bukkit TabList(s) easily a…☆11Nov 23, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- kamet - a simple programming language written in Kotlin.☆15Oct 9, 2020Updated 5 years ago
- IntelliJ Settings Repository for http4k projects☆13May 26, 2023Updated 3 years ago
- ☆12Jun 11, 2019Updated 6 years ago
- Quarkus RSocket extension☆16Apr 8, 2026Updated 2 months ago
- An OCaml bytecode to LLVM compiler☆43Mar 2, 2018Updated 8 years ago
- A tool that can dynamically modify Java classes at runtime.☆13Apr 22, 2022Updated 4 years ago
- TabooLib IntelliJ Integration☆12Mar 1, 2026Updated 3 months ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆16Feb 26, 2026Updated 3 months ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆20Jan 25, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A PlayerSlotAPI For MineCraft☆15Mar 1, 2022Updated 4 years ago
- ☆11May 27, 2017Updated 9 years ago
- An AI-powered agent utilizing LLMs (e.g., Claude) with Function Calling to automate tasks in Blender. Enhances workflow efficiency by int…☆28Mar 27, 2025Updated last year
- Kotlin tuples.☆20Feb 18, 2023Updated 3 years ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated 4 months ago
- Sequitur and RePair grammar induction algorithms implementation☆28Dec 8, 2023Updated 2 years ago
- Extending final classes!☆25Oct 9, 2017Updated 8 years ago