Alternatives and similar repositories for ppl-summer-school-2022

Users that are interested in ppl-summer-school-2022 are comparing it to the libraries listed below

• nagaet / Garrigue-lecture-2018_AW

  View on GitHub
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Feb 27, 2019Updated 6 years ago
• hanazuki / satysfi.el

  View on GitHub
  Emacs major mode for editing SATySFi documents
  ☆10Sep 6, 2019Updated 6 years ago
• ksk / Rho

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 4 years ago
• konn / linear-extra

  View on GitHub
  Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.
  ☆14Dec 29, 2025Updated last month
• NESA-Lab / FirmRCA

  View on GitHub
  Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"
  ☆13Jan 6, 2026Updated last month
• coord-e / thrust

  View on GitHub
  Refinement type checking and inference tool for Rust
  ☆17Updated this week
• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• d0iasm / vulbr

  View on GitHub
  Toy browser on single process / thread
  ☆33Aug 9, 2022Updated 3 years ago
• hkmatsumoto / tachyon

  View on GitHub
  A Rust compiler backend focused on compilation speed.
  ☆16Sep 8, 2022Updated 3 years ago
• shibatchii / RISC-V

  View on GitHub
  RISC-V documentation transrate to Japanese.
  ☆73Jan 1, 2022Updated 4 years ago
• goatx / goat

  View on GitHub
  ☆77Feb 10, 2026Updated last week
• samn33 / qlazy

  View on GitHub
  Quantum Computer Simulator
  ☆23Jan 9, 2023Updated 3 years ago
• cotowali / litsu

  View on GitHub
  ☆45Sep 30, 2022Updated 3 years ago
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover

  View on GitHub
  ☆19Jan 7, 2026Updated last month
• dwango / fialyzer

  View on GitHub
  [WIP] Faster Implementation of Dialyzer
  ☆56Apr 4, 2024Updated last year
• ocw-central / ocw-central-frontend

  View on GitHub
  Frontend implementation of ocwcentral.com
  ☆21Aug 30, 2023Updated 2 years ago
• nineties / category-seminar

  View on GitHub
  Materials for category theory seminar
  ☆28Jul 30, 2025Updated 6 months ago
• koba-e964 / min-caml-rust

  View on GitHub
  A min-caml port to Rust
  ☆26Feb 8, 2025Updated last year
• elpinal / modules

  View on GitHub
  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
  ☆31Feb 5, 2023Updated 3 years ago
• stackbuilders / hspec-golden

  View on GitHub
  Golden tests with Hspec
  ☆29Oct 31, 2025Updated 3 months ago
• amshafer / Pinch

  View on GitHub
  A simple borrow-checked language built using LLVM's MLIR
  ☆26May 3, 2020Updated 5 years ago
• nyuichi / satysfi-base

  View on GitHub
  complementary collection of useful functions and modules for SATySFi
  ☆32Apr 7, 2024Updated last year
• uemurax / hott-ja

  View on GitHub
  HoTT in Japanese
  ☆36Oct 1, 2023Updated 2 years ago
• kmc-jp / n64-emu

  View on GitHub
  Low-level Nintendo64 emulator 🌏
  ☆27Nov 24, 2023Updated 2 years ago
• rust-lang-ja / trpl-ja-pdf

  View on GitHub
  日本語版TRPLのPDF
  ☆25Dec 31, 2017Updated 8 years ago
• starpos / develop-transaction-system

  View on GitHub
  Source code of the book "Develop A Transaction System" (in Japanese).
  ☆189Mar 22, 2024Updated last year
• hiroshi-unno / coar

  View on GitHub
  Collection of Automated Reasoners
  ☆35Dec 9, 2025Updated 2 months ago
• egison / egison-haskell

  View on GitHub
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Jul 13, 2020Updated 5 years ago
• rems-project / cn

  View on GitHub
  CN separation logic refinement type system for C
  ☆44Feb 3, 2026Updated last week
• po3rin / eskeeper

  View on GitHub
  eskeeper synchronizes index and alias with configuration files while ensuring idempotency.
  ☆37Aug 23, 2022Updated 3 years ago
• kamichidu / goen

  View on GitHub
  GOlang ENtity interface, similar to ORM but not fully featured
  ☆12Jan 31, 2020Updated 6 years ago
• sdiehl / mlir-egglog

  View on GitHub
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆116Aug 11, 2025Updated 6 months ago
• secure-foundations / rWasm

  View on GitHub
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆42Jan 14, 2024Updated 2 years ago
• asciidwango / ptex

  View on GitHub
  ☆10Jun 26, 2019Updated 6 years ago
• ryuichiueda / GlueLang

  View on GitHub
  A programming language that has a strong nature to be a glue of commands.
  ☆48Jul 31, 2022Updated 3 years ago
• imamar94 / trivago-recruitment

  View on GitHub
  ☆13Apr 22, 2024Updated last year
• Redstone-Compiler / redstone-compiler

  View on GitHub
  Minecraft Redstone Compiler
  ☆13Feb 9, 2025Updated last year
• vdailly / SQL-Server-Always-Encrypted-Key-Store-Generic-Provider

  View on GitHub
  SQL Server Always Encrypted Key Store Generic Provider for Key Store Interopearibility between Windows and Linux
  ☆11Oct 24, 2018Updated 7 years ago
• Open-CP / OCP

  View on GitHub
  Open Cryptanalysis Platform
  ☆13Feb 7, 2026Updated last week