Project Name	Stars	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Vim Polyglot	5,431	6 months ago			85		Vim Script
A solid language pack for Vim.
Alive2	634	3 months ago			56	mit	C++
Automatic verification of LLVM optimizations
Sbvplugin	41	3 months ago	16	April 14, 2023	6	other	Haskell
Formally prove properties of Haskell programs using SBV/SMT.
The Thoralf Plugin	20	4 years ago			7	mit	Haskell
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

Alternatives To The Thoralf Plugin

Select To Compare

Vim Polyglot ⭐ 5,431

A solid language pack for Vim.

most recent commit 6 months ago

Alive2 ⭐ 634

Automatic verification of LLVM optimizations

most recent commit 3 months ago

Sbvplugin ⭐ 41

Formally prove properties of Haskell programs using SBV/SMT.

total releases 16most recent commit 3 months ago

The Thoralf Plugin ⭐ 20

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

most recent commit 4 years ago

Suggest An Alternative To the-thoralf-plugin

Alternative Project Comparisons

The Thoralf Plugin vs Vim Polyglot

The Thoralf Plugin vs Alive2

The Thoralf Plugin vs Sbvplugin

Popular Plugin Projects

Ohmyzsh ⭐ 168,547

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

dependent packages 5total releases 1latest release December 07, 2014most recent commit a day ago

Webpack ⭐ 63,881

A bundler for javascript and friends. Packs many modules into a few bundled assets. Code Splitting allows for loading parts of the application on demand. Through "loaders", modules can be CommonJs, AMD, ES6 modules, CSS, Images, JSON, Coffeescript, LESS, ... and your custom stuff.

dependent packages 226,953total releases 831latest release October 13, 2023most recent commit 3 months ago

Vuetify ⭐ 38,647

🐉 Vue Component Framework

dependent packages 2,457total releases 561latest release December 06, 2023most recent commit 3 months ago

Impress.js ⭐ 37,406

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

dependent packages 5total releases 3latest release April 12, 2020most recent commit 4 months ago

Vim Plug ⭐ 32,286

:hibiscus: Minimalist Vim Plugin Manager

most recent commit 5 months ago

Popular Smt Projects

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months ago

Fstar ⭐ 2,522

A Proof-oriented Programming Language

most recent commit 3 months ago

Openpnp ⭐ 1,501

Open Source SMT Pick and Place Hardware and Software

most recent commit 4 months ago

Barf Project ⭐ 1,193

BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years ago

Liquidhaskell ⭐ 1,132

Liquid Types For Haskell

total releases 32latest release December 06, 2023most recent commit 3 months ago

Popular Libraries Categories