Lambda calculus implemented in Java
☆19Feb 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
Sorting:
- ☆12Mar 24, 2021Updated 4 years ago
- Some winforms examples primarily for educational purposes.☆10Jul 7, 2023Updated 2 years ago
- ☆11May 27, 2017Updated 8 years ago
- CoMA: Compositional Human Motion Generation with Multi-modal Agents☆14Jul 31, 2025Updated 7 months ago
- Issue tracker for Better Highlights Intellij IDEA plugin☆12Jul 16, 2023Updated 2 years ago
- Вводный курс по программированию на Python☆10Feb 27, 2025Updated last year
- ☆11Dec 11, 2017Updated 8 years ago
- 个人主页介绍与个人文章站源码(Github Pages)。☆13Jul 29, 2024Updated last year
- Daily kata from the Little Typer☆13Dec 28, 2018Updated 7 years ago
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆10Jun 29, 2024Updated last year
- A processing thing that draws weird glyphs☆12May 2, 2017Updated 8 years ago
- Implementation of Single Page Application (SPA) Proxy security pattern as introduced in the blog post https://medium.facilelogin.com/thir…☆12Dec 18, 2017Updated 8 years ago
- My code as I work through Beginning Linux Programming 4th ed by Matthew and Stones, Wrox☆13May 7, 2023Updated 2 years ago
- Puzzle game based on the classic Sokoban.☆10Jan 26, 2023Updated 3 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- ☆11May 22, 2024Updated last year
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 3 years ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- Low profile split keyboard with Corne 42 Layout and Cerry ULP switches. (6mm height)☆47Oct 12, 2025Updated 4 months ago
- aspiring vimmer☆16Feb 26, 2026Updated last week
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- ☆10May 10, 2016Updated 9 years ago
- Play snake on a 3d cube☆15Jul 13, 2024Updated last year
- Java unit test practise using JUnit, Mockito, PowerMock, Gradle, H2 and JPA.☆12Aug 16, 2020Updated 5 years ago
- A font family with a great monospaced variant for programmers.☆13Dec 7, 2013Updated 12 years ago
- Integration between Micronaut and JMS☆16Updated this week
- Deck of Anki Cards covering "Data Structures and Algorithms" as taught by the UC San Diego course on Coursera☆10Jul 25, 2017Updated 8 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 6 years ago
- aabbyy training☆11Jun 7, 2020Updated 5 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- ☆15Dec 23, 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
- 基于netty 的实时消息传递☆11Oct 17, 2017Updated 8 years ago
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- A little regex engine☆17Nov 5, 2012Updated 13 years ago
- Source code for article at https://hdpe.me/post/modular-architecture-with-spring-boot/☆13Jul 30, 2017Updated 8 years ago
- Autojump for Total Commander !!☆12Nov 25, 2020Updated 5 years ago
- ☆15Oct 13, 2025Updated 4 months ago
- Provides access to popular databases like JDBC/SQL, MonoDB, Redis or Elasticsearch.☆13Jan 14, 2026Updated last month