A template set for writing semantics in LaTeX
☆12Aug 17, 2015Updated 10 years ago
Alternatives and similar repositories for texsem
Users that are interested in texsem are comparing it to the libraries listed below
Sorting:
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- Yes, really!☆11May 8, 2015Updated 10 years ago
- Racket bindings for Z3☆24May 11, 2019Updated 6 years ago
- Mirror of core.typed for internal development.☆14Nov 18, 2018Updated 7 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- Create, Control, Execute JavaScript in OCaml. Think of the possibilities.☆29Nov 7, 2016Updated 9 years ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- A Emacs major mode for editing Hack code☆15Feb 7, 2026Updated 3 weeks ago
- ☆10Sep 28, 2020Updated 5 years ago
- Checker for "morally correct" induction proofs about haskell programs☆31Mar 9, 2022Updated 3 years ago
- A repository containing all of my custom keyboards for iOS☆14Jan 2, 2021Updated 5 years ago
- TorchQL is a query language for Python-based machine learning models and datasets.☆10May 1, 2024Updated last year
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Type Safe LLVM IR ( Experimental )☆49Jun 13, 2018Updated 7 years ago
- Implementation of MetaVQA.☆12Jul 3, 2021Updated 4 years ago
- 🗣 A command line tool that can generate English verbal descriptions for Scala source files or snippets.☆11Mar 5, 2018Updated 8 years ago
- Research Artifact For Our Submission To VLDB☆10Oct 27, 2021Updated 4 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- A collection of programming books☆10Dec 31, 2016Updated 9 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- ☆11May 14, 2023Updated 2 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- RndPhrase: Auto-generated secure passwords.☆21May 4, 2016Updated 9 years ago
- A tunnel-boring library☆12Feb 24, 2018Updated 8 years ago
- ☆11Mar 22, 2024Updated last year
- A library to microbenchmark lambdas in C# and F# that runs on both Windows (clr) and Linux (mono).☆14Mar 9, 2017Updated 8 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- ☆12May 22, 2016Updated 9 years ago
- ☆14Jan 30, 2025Updated last year
- A random name generator, written in Clojure☆10Jul 17, 2024Updated last year
- Highly reuseable classes and methods I find to be missing in the .NET Standard Library.☆11Mar 18, 2017Updated 8 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- ☆11Apr 19, 2019Updated 6 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- Clojure implementation of the Semantic Versioning 2.0.0 spec. Parse, validate, sort and modify semantic version strings☆12Feb 3, 2021Updated 5 years ago
- Integration test for entire CGRA flow☆12Jan 17, 2020Updated 6 years ago