Easily parse, normalize and display simple λ-Calculus expressions.
☆11Jun 29, 2026Updated 4 months ago
Alternatives and similar repositories for typst-lambdabus
Users that are interested in typst-lambdabus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Abstract interpretation based, value-, catcode-, and path sensitive static analysis for (La)TeX and friends (with full support for TeX, e…☆12Updated this week
- ☆15May 20, 2024Updated 2 years ago
- LILLY - Latex Framework☆12Jul 29, 2021Updated 5 years ago
- ☆31Jul 14, 2026Updated 3 months ago
- Profiling framework for the R language☆11Jun 8, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆88Updated this week
- Pong revolution.☆16Oct 26, 2025Updated last year
- A curated list of programming games☆21Apr 12, 2021Updated 5 years ago
- Sthaan uses AI to create digital addresses with local language support in voice/text, making it easier for people to find and reach locat…☆12Nov 17, 2024Updated last year
- Transform Serial R Code into Parallel R Code☆11Nov 17, 2020Updated 5 years ago
- PL Professors List☆19Apr 19, 2026Updated 6 months ago
- The glitch-soc/Mastodon fork running on types.pl☆28Oct 29, 2026Updated last week
- emo•ji for all (LaTeX engines) 🎉☆15May 22, 2023Updated 3 years ago
- Upload files and submit Canvas assignments automatically☆10Apr 28, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Find (missing) dependencies in R-source code☆13Oct 1, 2025Updated last year
- This package provides a set of high-quality icons for use in notes for tabletop role-playing games.☆11Sep 14, 2026Updated last month
- A Dynamic tracing framework for R☆11Jul 8, 2021Updated 5 years ago
- ☆15Updated this week
- A heads-up for all courses in Computer Science at HWU (F291-COS)☆10Sep 20, 2026Updated last month
- 'ifelse' Variants☆15Jan 2, 2026Updated 10 months ago
- Monorepo for everything linked to the r4r project☆11Sep 17, 2025Updated last year
- Automate Google dorking without getting banned☆14Dec 27, 2025Updated 10 months ago
- How to use l3build and not die trying :)☆11Jan 24, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- An interpreter for C flat, a music-based programming language☆30Jan 1, 2021Updated 5 years ago
- Folien für den How-To-Studium Vortrag der Informatik ESE 2026 der Uni Ulm.☆13Oct 5, 2026Updated last month
- This repository contains the source code for TCBee, a TCP flow analysis tool recording packet headers and kernel metrics at up to 12M eve…☆17Oct 27, 2026Updated last week
- This is a module for MagicMirror² to display the menu of canteens from universities in Germany and Switzerland (based on openmensa.org AP…☆11Sep 12, 2026Updated last month
- This Jupyter notebook is based on F28PL programming languages lecture Heriot-Watt University.☆11Mar 18, 2025Updated last year
- Portable WebAssembly Dynamic Analysis with Support for Intercession☆17Sep 30, 2026Updated last month
- A typst template for the keeping of minutes.☆13Apr 14, 2026Updated 6 months ago
- 🐧 Penguins in LaTeX with TikZ☆99Oct 8, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- the not david 1% top co-subscribed gephi file☆15Dec 31, 2023Updated 2 years ago
- Data and code for a large-scale study on research code quality and execution at Harvard Dataverse.☆18Apr 19, 2023Updated 3 years ago
- A nice R development and analytics environment, for the Renjin JVM implementation of R☆17Aug 13, 2026Updated 2 months ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated 2 years ago
- Docker images to use as base programming environments.☆13Updated this week
- Repair docker-smell automatically☆14Jul 23, 2026Updated 3 months ago
- A beamer latex template for slides and lectures at University of Ulm☆12Jun 12, 2024Updated 2 years ago