Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Twelf Library

Library classes for the Twelf Proof System
Stars
15
License
other
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
SWIG
Categories
Repo
Alternatives To Twelf Library
Select To Compare
Guide ⭐ 14,814
The Uber Go Style Guide.
most recent commit 3 months ago
Frida ⭐ 14,127
Clone this repo to build Frida
dependent packages 2total releases 311most recent commit 3 months agonpm frida-gadget-ios} Downloads
Cjson ⭐ 9,663
Ultralightweight JSON parser in ANSI C
dependent packages 1total releases 1most recent commit 3 months ago
Mal ⭐ 9,574
mal - Make a Lisp
most recent commit 6 months ago
Task ⭐ 9,341
A task runner / simpler Make alternative written in Go
dependent packages 12total releases 89most recent commit 3 months ago
Xmake ⭐ 8,689
🔥 A cross-platform build utility based on Lua
total releases 24most recent commit 9 days ago
Learnhaskell ⭐ 7,760
Learn Haskell
most recent commit a year ago


Suggest An Alternative To twelf-library
Popular Build Tools Categories
Makefile
Cmake
Gradle
Builder
Grunt
Jar
Installer
Apk
Sbt
Bundler

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Makefile
Modern Cpp
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.