xzhseh/stlc-in-a-week external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

xzhseh/stlc-in-a-week

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/xzhseh/stlc-in-a-week)

Close

xzhseh / stlc-in-a-weekView on GitHubMore

• External links
• Readme badge

Write yourself a simply-typed lambda calculus using Rust in a week!

☆13May 13, 2024Updated last year

Alternatives and similar repositories for stlc-in-a-week

Users that are interested in stlc-in-a-week are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• imtsuki / helang-rs

  View on GitHub
  ☆31Aug 19, 2022Updated 3 years ago
• ho-229 / face-recognition

  View on GitHub
  这是一个基于 OpenCV 4 和 Qt 5 的人脸识别小demo
  ☆11Feb 13, 2021Updated 5 years ago
• lengyijun / polonius-proof

  View on GitHub
  Verify naive = datafrog-opt, in rust/polonius
  ☆15Jun 26, 2025Updated 9 months ago
• amaozhao / The-Art-of-Asking-ChatGPT

  View on GitHub
  ChatGPT的提问艺术
  ☆12Mar 31, 2023Updated 2 years ago
• blueberry-pie-11 / actions-openwrt-redmi-ax3000

  View on GitHub
  ☆12Mar 8, 2024Updated 2 years ago
• NordVPN Threat Protection Pro™ • Ad
  Take your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
• ricequant / rqalpha-mod-stock-realtime

  View on GitHub
  RQAlpha 接受实时行情并触发事件 Mod
  ☆20Sep 19, 2018Updated 7 years ago
• matejx / usb2can

  View on GitHub
  USB to CAN with STM32F103
  ☆14Dec 25, 2023Updated 2 years ago
• Thungghuan / teacher_comment

  View on GitHub
  华南某工教务处教师评价一键脚本
  ☆11Jun 24, 2022Updated 3 years ago
• SJTU-PLV / CompCert

  View on GitHub
  The CompCert formally-verified C compiler
  ☆11Mar 22, 2026Updated last week
• saethlin / crater-at-home

  View on GitHub
  We have Crater At Home
  ☆38Oct 26, 2024Updated last year
• trackoor / AwesomePL

  View on GitHub
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17May 10, 2022Updated 3 years ago
• al8n / wg

  View on GitHub
  Golang like WaitGroup implementation for sync/async Rust, support no_std environment.
  ☆37Oct 6, 2024Updated last year
• regehr / pldi22-llvm-tutorial

  View on GitHub
  outline and links for PLDI 2022 tutorial
  ☆17Jun 13, 2022Updated 3 years ago
• verse-lab / bythos

  View on GitHub
  Compositional Verification of Composite Byzantine Protocols
  ☆13Aug 24, 2024Updated last year
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• darabos / pinty

  View on GitHub
  Toy prototype for a distributed computing system in C++
  ☆18Nov 26, 2014Updated 11 years ago
• ia0 / unsafe-mental-model

  View on GitHub
  Mental model for unsafe in Rust
  ☆18Feb 10, 2025Updated last year
• JackGao19700 / books

  View on GitHub
  ☆18Sep 20, 2019Updated 6 years ago
• itorr / fm

  View on GitHub
  📻「我的收藏电台」写了个播放界面
  ☆22Nov 8, 2022Updated 3 years ago
• AeneasVerif / scylla

  View on GitHub
  Scylla, a tool for translating ultra-regular C code to Safe Rust
  ☆30Updated this week
• logsem / iris-lecture-notes

  View on GitHub
  ☆16Jul 24, 2024Updated last year
• dbanck / go-lsp-test

  View on GitHub
  A programmatic language server protocol test client.
  ☆12Sep 14, 2022Updated 3 years ago
• antark / light-web-server

  View on GitHub
  使用 c 语言实现的一个轻量级 web 服务器
  ☆14Oct 11, 2019Updated 6 years ago
• rocqetry / rocqet

  View on GitHub
  Rocqet proof language
  ☆28Aug 11, 2025Updated 7 months ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• whatwewant / awesome-team-build

  View on GitHub
  组件一个 MVP 团队的资源
  ☆11Nov 11, 2022Updated 3 years ago
• amohanta / python-PCAP-Analysis

  View on GitHub
  PCAP files are analysed using python. DNS delays, congestion window sizes, through put and good put are calculated.
  ☆12Jul 1, 2015Updated 10 years ago
• vprix / agent

  View on GitHub
  vprix虚拟桌面项目init程序
  ☆11Jul 1, 2022Updated 3 years ago
• TaKO8Ki / chibiip

  View on GitHub
  [WIP] A small implementation of the TCP/IP protocol stack written in Rust
  ☆23Jun 16, 2023Updated 2 years ago
• Paper-Dragon / notebook

  View on GitHub
  放置运维开发笔记、搜集、摘录、实践，保持好奇心。看文需谨慎，后果很严重!
  ☆26Mar 22, 2026Updated last week
• jingedawang / Tiny-WebServer

  View on GitHub
  A tiny web server developed by O'Hallaron using C.
  ☆42Apr 15, 2018Updated 7 years ago
• yangjinhaoaa / OLED0.91-SSD1306-HAL

  View on GitHub
  0.91‘OLED driver STM32 HAL
  ☆21Jun 8, 2021Updated 4 years ago
• GQL-Project / gql_db

  View on GitHub
  Relational Database Server with Integrated Version Control
  ☆23Dec 20, 2022Updated 3 years ago
• SamLukeYes / archix

  View on GitHub
  Utilities for Arch Linux development, in a flake
  ☆13Mar 23, 2026Updated last week
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• arthuraa / memory-safe-language

  View on GitHub
  A formalization of properties of a simple imperative, memory-safe language.
  ☆20Sep 27, 2021Updated 4 years ago
• datenlord / r-epaxos

  View on GitHub
  ☆26May 22, 2022Updated 3 years ago
• colinzhu / web-console

  View on GitHub
  A super simple java tool that allows you to run a task from a web browser and see the output in real time.
  ☆12Mar 3, 2025Updated last year
• rustcc / GEFS

  View on GitHub
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Dec 16, 2020Updated 5 years ago
• azaleacolburn / sonder

  View on GitHub
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆25Jan 4, 2026Updated 2 months ago
• marirs / ole-rs

  View on GitHub
  Parser to analyze MS OLE2 files (Structured Storage, Compound File Binary Format) and MS Office documents.
  ☆15Aug 17, 2022Updated 3 years ago
• dfrg / yazi

  View on GitHub
  DEFLATE/zlib compression and decompression for Rust.
  ☆12Jan 3, 2025Updated last year