kory33/scala-proofs 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

kory33/scala-proofs

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/kory33/scala-proofs)

Close

kory33 / scala-proofsView on GitHubMore

• External links
• Readme badge

An attempt to build axiomatic, formal set theory on top of Scala.

☆37Dec 15, 2023Updated 2 years ago

Alternatives and similar repositories for scala-proofs

Users that are interested in scala-proofs are comparing it to the libraries listed below

• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• takoeight0821 / malgo

  View on GitHub
  A statically typed functional programming language.
  ☆46Feb 14, 2026Updated 2 weeks ago
• xemime-lang / xemime

  View on GitHub
  The Xemime programming language
  ☆13Oct 13, 2020Updated 5 years ago
• qnighy / ipc_solver

  View on GitHub
  O(N log N)-space IPC solver in OCaml
  ☆54Apr 4, 2023Updated 2 years ago
• kgtkr / cl8w

  View on GitHub
  ☆22Dec 15, 2023Updated 2 years ago
• elipmoc / Ruscall

  View on GitHub
  自作言語処理系のコンパイラ制作
  ☆43Feb 23, 2019Updated 7 years ago
• loliGothicK / Cranberries

  View on GitHub
  ☆28Jun 26, 2022Updated 3 years ago
• raviqqe / lazy-ein

  View on GitHub
  JSON meets Haskell.
  ☆11Oct 22, 2020Updated 5 years ago
• ushitora-anqou / constexpr-nn

  View on GitHub
  constexpr is fun.
  ☆13Jun 17, 2018Updated 7 years ago
• onion-lang / onion

  View on GitHub
  Onion - statically typed object-oriented programming language
  ☆29Feb 20, 2026Updated last week
• 0918nobita / psyche-fs

  View on GitHub
  Programming language
  ☆13Dec 6, 2020Updated 5 years ago
• faber-lang / faber

  View on GitHub
  functional programming language and its compiler
  ☆18Oct 22, 2019Updated 6 years ago
• scala-android / scala-android.github.io

  View on GitHub
  ☆10Mar 5, 2019Updated 7 years ago
• ushitora-anqou / qash

  View on GitHub
  A programming language for double-entry accounting, inspired by Beancount.
  ☆21Aug 4, 2025Updated 7 months ago
• uchan-nos / opela

  View on GitHub
  Operating and Language processing system
  ☆28Sep 10, 2021Updated 4 years ago
• coord-e / ccc

  View on GitHub
  optimizing compiler for a subset of C language
  ☆35Oct 7, 2019Updated 6 years ago
• sbt / util

  View on GitHub
  util modules for sbt
  ☆15Apr 24, 2020Updated 5 years ago
• gfngfn / game_tianjiupai

  View on GitHub
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Oct 8, 2023Updated 2 years ago
• formura / formura

  View on GitHub
  Describe stencil formurae without even translating them
  ☆16Aug 19, 2019Updated 6 years ago
• hikalium / compilium

  View on GitHub
  C compiler + hikalium
  ☆34Oct 24, 2020Updated 5 years ago
• loliGothicK / mitama-dimensional

  View on GitHub
  C++17 Library for dimensional analysis based on variadic Phantom-Type.
  ☆36Dec 15, 2023Updated 2 years ago
• fetburner / sumiilab-tex

  View on GitHub
  東北大学 住井研究室のステキな TeX ファイルたち
  ☆36Feb 18, 2021Updated 5 years ago
• loliGothicK / regex-soup-bot

  View on GitHub
  ☆23Dec 15, 2023Updated 2 years ago
• shiatsumat / wiwinwlh-jp

  View on GitHub
  What I Wish I Knew When Learning Haskell 日本語訳
  ☆118Jul 23, 2016Updated 9 years ago
• Drumato / peachili

  View on GitHub
  the peachili( Peach + Chili) programming language
  ☆11Feb 2, 2021Updated 5 years ago
• pocarist / hminfer-rust

  View on GitHub
  ☆11Oct 24, 2017Updated 8 years ago
• aereal / markdown-toc

  View on GitHub
  ☆10Mar 26, 2022Updated 3 years ago
• shirakawayohane / hirou_compiler

  View on GitHub
  疲労困憊していても書ける優しいプログラミング言語のコンパイラ
  ☆11Dec 25, 2025Updated 2 months ago
• jpnykw / jpnykw.dev

  View on GitHub
  About Me
  ☆11Feb 24, 2025Updated last year
• seccamp / seccamp.jp

  View on GitHub
  Unofficial website of security camp
  ☆14Aug 19, 2025Updated 6 months ago
• julienrf / faithful

  View on GitHub
  Lightweight Scala.js promise implementation that does not violate parametricity
  ☆17Jun 4, 2020Updated 5 years ago
• scala-native / scala-native-cli

  View on GitHub
  Command Line Interface for Scala Native
  ☆19Jan 24, 2026Updated last month
• YSRKEN / Unofficial-RCG-Manual

  View on GitHub
  Unofficial Reference material of "Run! Code Gakuen"
  ☆12Jul 27, 2018Updated 7 years ago
• MagiCircles / CinderellaProducers

  View on GitHub
  The IDOLM@STER Cinderella Girls Starlight Stage Database & Community
  ☆11Jul 10, 2022Updated 3 years ago
• shinji-kono / zf-in-agda

  View on GitHub
  define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set
  ☆14Nov 14, 2025Updated 3 months ago
• cb372 / sbt-classy

  View on GitHub
  ☆13Oct 11, 2018Updated 7 years ago
• stmtk1 / first_prog

  View on GitHub
  初めて作ったプログラミング言語です
  ☆12Dec 22, 2018Updated 7 years ago
• nyuichi / LeanHOL

  View on GitHub
  super tiny implementation of higher-order logic proof assistant in lean
  ☆22Sep 29, 2019Updated 6 years ago
• kcsongor / regex-type

  View on GitHub
  Regular expression matching of Haskell types
  ☆13Apr 2, 2016Updated 9 years ago