Easily parse, normalize and display simple λ-Calculus expressions.
☆11Jun 29, 2026Updated 3 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:
- ☆15May 20, 2024Updated 2 years ago
- LILLY - Latex Framework☆12Jul 29, 2021Updated 5 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆86Oct 6, 2026Updated last week
- ☆30Jul 14, 2026Updated 3 months ago
- A curated list of programming games☆22Apr 12, 2021Updated 5 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.
- Pong revolution.☆16Oct 26, 2025Updated 11 months ago
- Transform Serial R Code into Parallel R Code☆11Nov 17, 2020Updated 5 years ago
- 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
- PL Professors List☆20Apr 19, 2026Updated 5 months ago
- Find (missing) dependencies in R-source code☆13Oct 1, 2025Updated last year
- A heads-up for all courses in Computer Science at HWU (F291-COS)☆10Sep 20, 2026Updated 3 weeks 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
- A Dynamic tracing framework for R☆11Jul 8, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An interpreter for C flat, a music-based programming language☆30Jan 1, 2021Updated 5 years ago
- 'ifelse' Variants☆15Jan 2, 2026Updated 9 months ago
- 🐧 Penguins in LaTeX with TikZ☆100Oct 8, 2026Updated last week
- This Jupyter notebook is based on F28PL programming languages lecture Heriot-Watt University.☆11Mar 18, 2025Updated last year
- Docker images to use as base programming environments.☆13Updated this week
- Testing Infrastructure for Temporal AbstractioNs☆24Aug 24, 2020Updated 6 years ago
- Repair docker-smell automatically☆13Jul 23, 2026Updated 2 months ago
- An implementation of interaction nets as a forth-like language.☆46Nov 16, 2025Updated 11 months ago
- Create AI generated memes using MCP Meme Sticky. Can converted generated memes into stickers for Telegram or WhatsApp (WA coming soon). …☆11Jun 11, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Portable WebAssembly Dynamic Analysis with Support for Intercession☆17Sep 30, 2026Updated 2 weeks ago
- BAD: BiAs Detection for Large Language Models in the context of candidate screening (EECS 692)☆12Feb 14, 2024Updated 2 years ago
- WhatsApp bot that transcribes voice messages and responds with AI-generated text using Go, Python, Whisper, and Groq.☆15Sep 28, 2026Updated 2 weeks ago
- A list of free resources provided to Heriot-Watt University students which are told (or not) by the University☆10Aug 22, 2026Updated last month
- Data and code for a large-scale study on research code quality and execution at Harvard Dataverse.☆18Apr 19, 2023Updated 3 years ago
- Static code analyses for R packages☆22Updated this week
- Implementation and simulations for "CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Buil…☆23Jun 17, 2021Updated 5 years ago
- This package provides a simple way to style keyboard shortcuts in your documentation.☆17Jul 26, 2026Updated 2 months ago
- A nice R development and analytics environment, for the Renjin JVM implementation of R☆17Aug 13, 2026Updated 2 months 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.
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A beamer latex template for slides and lectures at University of Ulm☆12Jun 12, 2024Updated 2 years ago
- ☆17Jul 11, 2025Updated last year
- Class repository for Generative Typography workshop (Type@Cooper Spring 2022)☆18Apr 6, 2022Updated 4 years ago
- A Typst package to display chessboards.☆39Jan 5, 2026Updated 9 months ago
- This repository contains the source code for TCBee, a TCP flow analysis tool recording packet headers and kernel metrics at up to 5M even…☆17Oct 9, 2026Updated last week
- Public repository for the Search Engineering course taught by Grant Ingersoll and Dave Anderson. Available at https://corise.com/course/s…☆17Dec 10, 2023Updated 2 years ago