Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Twee

An equational theorem prover based on Knuth-Bendix completion
Stars
37
License
bsd-3-clause
Open Issues
0
Most Recent Commit
a year ago
Programming Language
Haskell
Total Releases
14
Latest Release
September 20, 2022
Categories
Repo
Alternatives To Twee
Select To Compare
Zsh Autosuggestions ⭐ 28,026
Fish-like autosuggestions for zsh
total releases 1most recent commit 6 months ago
Z ⭐ 15,648
z - jump around
total releases 1most recent commit 5 months ago
Typer ⭐ 12,903
Typer, build great CLIs. Easy to code. Based on Python type hints.
dependent packages 2,853total releases 27most recent commit 4 months agopypi typer} Downloads
Pgcli ⭐ 11,435
Postgres CLI with autocompletion and syntax highlighting
dependent packages 6total releases 73most recent commit 5 months agopypi pgcli} Downloads
Tabnine ⭐ 10,283
AI Code Completions
most recent commit 4 months ago
Kakoune ⭐ 9,387
mawww's experiment for a better code editor
total releases 1most recent commit 4 months ago


Suggest An Alternative To twee
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
Completion
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.