Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Thesis

Liquid Haskell: How to turn Haskell into a Theorem Prover
Stars
9
License
bsd-3-clause
Open Issues
1
Most Recent Commit
7 years ago
Programming Language
TeX
Categories
Repo
Alternatives To Thesis
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Cbc Casper Proof31
5 years ago27apache-2.0TeX
Proofs of properties of CBC Casper
Thesis9
7 years ago1bsd-3-clauseTeX
Liquid Haskell: How to turn Haskell into a Theorem Prover
Elements5
2 years agoTeX
Properties of chemical elements
Hopf Visualisation5
6 years agoTeX
Visualisation of the Hopf Fibration
Alternatives To Thesis
Select To Compare


Suggest An Alternative To thesis
Alternative Project Comparisons
Thesis vs Cbc Casper Proof
Thesis vs Elements
Thesis vs Hopf Visualisation
Popular Tex Projects
Popular Properties Projects
Type Fest ⭐ 12,725
A collection of essential TypeScript types
dependent packages 4,907total releases 125latest release December 02, 2023most recent commit 3 months agonpm type-fest} Downloads
Class Validator ⭐ 10,197
Decorator-based property validation for classes.
dependent packages 3,785total releases 57latest release December 09, 2022most recent commit 3 months agonpm class-validator} Downloads
Yq ⭐ 10,077
yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor
dependent packages 77total releases 132latest release December 04, 2023most recent commit 3 months ago
Dynamics.js ⭐ 7,248
Javascript library to create physics-based animations
dependent packages 54total releases 13latest release August 27, 2016most recent commit 5 years agonpm dynamics.js} Downloads
Serilog ⭐ 6,723
Simple .NET logging with fully-structured events
dependent packages 4,473total releases 528latest release November 17, 2023most recent commit 4 months agonuget Serilog} Downloads
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Tex
Properties
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.