Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Hilbert Gentzen

Agda formalisation of IPC, IS4, ICML, and ILP
Stars
28
License
other
Open Issues
1
Most Recent Commit
8 years ago
Programming Language
Agda
Categories
Site
Repo
Alternatives To Hilbert Gentzen
Select To Compare
Sweetalert ⭐ 22,235
A beautiful replacement for JavaScript's "alert"
dependent packages 328total releases 22most recent commit a year agonpm sweetalert} Downloads
Oni ⭐ 11,477
Oni: Modern Modal Editing - powered by Neovim
dependent packages 3total releases 6most recent commit 4 years agonpm oni} Downloads
Ng Bootstrap ⭐ 8,155
Angular powered Bootstrap
dependent packages 1,068total releases 150most recent commit 18 days agonpm @ng-bootstrap/ng-bootstrap} Downloads
React Modal ⭐ 7,248
Accessible modal dialog component for React
dependent packages 2,364total releases 114most recent commit 10 months agonpm react-modal} Downloads
Vxe Table ⭐ 7,117
vxe-table vue 表单/表格解决方案
dependent packages 603total releases 1,311most recent commit a month agonpm vxe-table} Downloads
Ngx Bootstrap ⭐ 5,515
Fast and reliable Bootstrap widgets in Angular (supports Ivy engine)
dependent packages 1,158total releases 95most recent commit 2 months agonpm ngx-bootstrap} Downloads


Suggest An Alternative To hilbert-gentzen
Popular User Interface Components Categories
Graph
Table
Form
Icon
Button
Card
Chart
Menu
Slides
Tabs

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Modal Dialogs
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.