Alternatives and similar repositories for Lambda-Calculus

Users that are interested in Lambda-Calculus are comparing it to the libraries listed below

• BenNeighbour / authentication-example

  View on GitHub
  ☆10Dec 17, 2020Updated 5 years ago
• BenNeighbour / istio

  View on GitHub
  Connect, secure, control, and observe services.
  ☆10Jan 3, 2021Updated 5 years ago
• BenNeighbour / benneighbour

  View on GitHub
  ☆10Jan 17, 2022Updated 4 years ago
• BenNeighbour / PremKnockouts

  View on GitHub
  ☆17Sep 25, 2020Updated 5 years ago
• guvenelif39 / RecampProject

  View on GitHub
  ☆11Feb 22, 2021Updated 4 years ago
• ranon-rat / ranon-rat

  View on GitHub
  ☆17Jan 31, 2026Updated 2 weeks ago
• BenNeighbour / CloneBnb

  View on GitHub
  A fully featured clone of Airbnb
  ☆22Sep 22, 2020Updated 5 years ago
• mjgrzymek / PeanoScript

  View on GitHub
  TypeScript-like theorem prover
  ☆42Apr 30, 2025Updated 9 months ago
• ablaamim / ablaamim

  View on GitHub
  ☆31Jul 6, 2025Updated 7 months ago
• salesforce / bazel-java-builder-template

  View on GitHub
  A template for wrapping any Java builder (eg., Maven Takari builder) and bring it into Bazel.
  ☆10May 1, 2025Updated 9 months ago
• shivangraikar / DataSciencevalue

  View on GitHub
  Web application created using Streamlit to host an intelligent salary predictor. The project returns the position of the user in this par…
  ☆13Jul 29, 2024Updated last year
• Ricardicus / ric-script

  View on GitHub
  A modern scripting language; implemented in old school C, yacc & flex
  ☆33Dec 3, 2025Updated 2 months ago
• transferwise / tw-tkms

  View on GitHub
  ☆12Nov 27, 2025Updated 2 months ago
• tustoz / hotel_booking

  View on GitHub
  an app to find the best hotels based on nearby locations [UI]
  ☆10Oct 8, 2022Updated 3 years ago
• melvic-ybanez / dry

  View on GitHub
  A high-level programming language written in Scala
  ☆35Nov 26, 2023Updated 2 years ago
• kekyo / TypeInferencer

  View on GitHub
  Minimal type inference Algorithm W and Algorithm M in F#
  ☆35Oct 23, 2023Updated 2 years ago
• oussama-rahali / Network-Shredder

  View on GitHub
  Network Shredder IDS
  ☆11Aug 14, 2024Updated last year
• 4o4hasfound / CPound-language

  View on GitHub
  A interpreted language called CPound!
  ☆12Aug 26, 2024Updated last year
• MjPaxter / Tcp_Socket_Connection

  View on GitHub
  ☆12Aug 2, 2022Updated 3 years ago
• arielNacamulli / NNCalibration_Surface

  View on GitHub
  Thesis support material
  ☆11Mar 28, 2021Updated 4 years ago
• s-index / poc-list

  View on GitHub
  PoC List
  ☆10Sep 4, 2022Updated 3 years ago
• adityamangal1 / C-Programming

  View on GitHub
  C programming example codes.
  ☆10Apr 30, 2021Updated 4 years ago
• squidscode / apli

  View on GitHub
  The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…
  ☆13Oct 11, 2023Updated 2 years ago
• Erick-Bravo / Parts-House

  View on GitHub
  Parts House is your very own customizable parts tracker, where you can record valuable info of individual parts from your appliances and/…
  ☆10Jun 30, 2021Updated 4 years ago
• thanhfphan / eventstore

  View on GitHub
  Event Store on PostgreSQL
  ☆10Jun 3, 2023Updated 2 years ago
• ric03uec / prov_aws_vpc_terraform

  View on GitHub
  Provision Amazon Web Services VPC using Terraform
  ☆10Oct 4, 2018Updated 7 years ago
• MohamedHmini / the-missing-math-and-cs-classes

  View on GitHub
  a recommendation list of math courses for people with no math background.
  ☆11Mar 2, 2021Updated 4 years ago
• d-edge / extLauncher

  View on GitHub
  ExtLauncher is a dotnet tool to search and launch quickly projects in the user's preferred applications.
  ☆10Feb 6, 2024Updated 2 years ago
• QuestPDF / QuestPDF.Companion

  View on GitHub
  ☆15Feb 3, 2026Updated last week
• jozimarback / flask-experiments

  View on GitHub
  Experimentos com flask
  ☆11Jan 29, 2023Updated 3 years ago
• qualiabyte / code-stats

  View on GitHub
  Show code statistics for your project
  ☆13Apr 14, 2023Updated 2 years ago
• thautwarm / UPL

  View on GitHub
  A compiler for higher rank ML with type classes
  ☆13Aug 29, 2020Updated 5 years ago
• lmassaoy / myanimelist-data-collector

  View on GitHub
  This project represents a whole process of Anime data collection, preparation, and delivery as a data app, powered by technologies like P…
  ☆10Oct 4, 2022Updated 3 years ago
• eventuate-examples / eventuate-tram-examples-quarkus-customers-and-orders

  View on GitHub
  ☆10Mar 18, 2025Updated 10 months ago
• raphaelreyna / BufferKing

  View on GitHub
  Cache it your way! Record your computers audio output to an audio library.
  ☆10Aug 25, 2020Updated 5 years ago
• vcwild / python-design-patterns

  View on GitHub
  GoF design patterns "adapted" implementations in Python
  ☆12Jun 16, 2022Updated 3 years ago
• tanaka-takayoshi / nuget-publish-to-github-packages-action

  View on GitHub
  ☆10Aug 18, 2022Updated 3 years ago
• mathias-brandewinder / 4-levels-of-linear-programming

  View on GitHub
  ☆11Oct 5, 2023Updated 2 years ago
• mouadziani / design-patterns-in-java

  View on GitHub
  ☕️ Implementation of the most popular design patterns using JAVA
  ☆10Mar 8, 2021Updated 4 years ago