From 7fd4b1b15b62e7c64a22b3cd60004fc7720fabe9 Mon Sep 17 00:00:00 2001 From: ithewei Date: Sun, 8 Mar 2020 12:11:07 +0800 Subject: [PATCH 1/9] Add libhv --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 38f4420..812ae7c 100644 --- a/README.md +++ b/README.md @@ -643,6 +643,7 @@ comprehensive and high-level, you may want the Web Frameworks section. * [libevent][124] - Event loop replacement for network servers. [``BSD-3-Clause``][BSD-3-Clause] * [libhttpd][166] - Library to add basic web server capabilities to an application or embedded device. [``GPL-2.0-only``][GPL-2.0-only] +* [libhv][564] - Cross platform event loop library. [``BSD-3-Clause``][BSD-3-Clause] * [libidn][164] - Implementation of the Stringprep, Punycode and IDNA specifications. [``GPL-3.0-or-later``][GPL-3.0-or-later] * [libmicrohttpd][165] - Small library that makes it easy to run an HTTP @@ -1684,3 +1685,4 @@ support for C. [561]: http://jstimpfle.de/projects/rb3ptr/rb3ptr.html [562]: https://kristaps.bsd.lv/kcgi [563]: https://github.com/christophercrouzet/rexo +[564]: https://github.com/ithewei/libhv From c6e01cc585313392d5d8c6b79cb064c50a045b26 Mon Sep 17 00:00:00 2001 From: TryExceptElse Date: Sat, 7 Mar 2020 20:52:52 -0800 Subject: [PATCH 2/9] Update musl link. Musl has changed from https://www.musl-libc.org/ to https://musl.libc.org/ . --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 38f4420..d468ebd 100644 --- a/README.md +++ b/README.md @@ -1132,7 +1132,7 @@ support for C. [7]: https://en.wikipedia.org/wiki/The_C_Programming_Language [8]: https://github.com/json-c/json-c [9]: https://www.fefe.de/dietlibc/ -[10]: https://www.musl-libc.org/ +[10]: https://musl.libc.org/ [11]: https://tools.ietf.org/html/rfc7159 [12]: https://uclibc-ng.org/ [13]: https://opensource.org/osd From b947f4591edcfa1e80eb9b1b5aea7c95b4f76e4d Mon Sep 17 00:00:00 2001 From: bakiabaci Date: Tue, 7 Apr 2020 22:26:12 +0300 Subject: [PATCH 3/9] Cloudgizer project expired Cloudgizer project and link expired --- README.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/README.md b/README.md index cadafa1..dcb0c88 100644 --- a/README.md +++ b/README.md @@ -1065,9 +1065,6 @@ A 'catch-all' category for anything that doesn't fit well anywhere else. Comprehensive and integrated solutions for building the next brilliant web application in C. -* [Cloudgizer][545] - Cloudgizer is a tool for building web applications as - Apache modules, with emphasis on performance, small-footprint, and more - productive and safer programming in C. [``Apache-2.0``][Apache-2.0] * [facil.io][118] - Mini-framework for web applications. Includes a fast HTTP and Websocket server, and also supports custom protocols. [``MIT``][MIT] * [kcgi][562] - CGI and FastCGI library for C [``ISC``][ISC]. @@ -1666,7 +1663,6 @@ support for C. [542]: https://github.com/recp/cglm [543]: https://github.com/recp/tm [544]: https://igraph.org/ -[545]: https://dasoftver.bitbucket.io/cloudgizer [546]: https://scientificc.github.io/cmathl/ [547]: https://github.com/benhoyt/inih [548]: https://github.com/libarchive/libarchive From dafb3351c45bd914ccaa18d9a913b2fc13238de7 Mon Sep 17 00:00:00 2001 From: Sergei Akhmatdinov Date: Mon, 13 Apr 2020 11:52:13 -0400 Subject: [PATCH 4/9] Add Rogueutil, a header-only TUI library --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index dcb0c88..c594574 100644 --- a/README.md +++ b/README.md @@ -1044,6 +1044,8 @@ A 'catch-all' category for anything that doesn't fit well anywhere else. [``BSD-3-Clause``][BSD-3-Clause] * [rabbitmq-c][228] - Client library for [RabbitMQ][229]. [``MIT``][MIT] * [Ragel][54] - DSL for state machines that compiles to C. [``GPL-2.0-only``][GPL-2.0-only] +* [Rogueutil][565] - Cross-platform library for creating text-based user + interfaces (TUI) [``Apache-2.0``][Apache-2.0] * [sort][190] - Collection of sorting routines, which type-specialize at compile-time with a user-defined type. [``MIT``][MIT] * [termbox][396] - Library for writing text-based interfaces. [``MIT``][MIT] @@ -1682,3 +1684,4 @@ support for C. [562]: https://kristaps.bsd.lv/kcgi [563]: https://github.com/christophercrouzet/rexo [564]: https://github.com/ithewei/libhv +[565]: https://github.com/sakhmatd/rogueutil From f25c8e7fc75a8070b0f77c7a8692c91e32d00cdc Mon Sep 17 00:00:00 2001 From: Roman Romanenko Date: Mon, 13 Apr 2020 21:35:09 +0300 Subject: [PATCH 5/9] Adding link to libpcap project --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index dcb0c88..a6bece0 100644 --- a/README.md +++ b/README.md @@ -674,6 +674,7 @@ comprehensive and high-level, you may want the Web Frameworks section. * [Wslay][460] - WebSocket library. Implements version 13 of the WebSocket protocol, as described in RFC 6455. [``MIT``][MIT] * [zyre][419] - Framework for proximity-based peer-to-peer applications. [``MPL-2.0``][MPL-2.0] +* [libpcap][565] - API provides to various kernel packet capture mechanism. [``BSD-3-Clause``][BSD-3-Clause] ## Numerical ## @@ -1682,3 +1683,4 @@ support for C. [562]: https://kristaps.bsd.lv/kcgi [563]: https://github.com/christophercrouzet/rexo [564]: https://github.com/ithewei/libhv +[565]: https://github.com/the-tcpdump-group/libpcap From 507bfa9201f7c1026a9ff461b1cdf1561c224f13 Mon Sep 17 00:00:00 2001 From: Roman Romanenko Date: Sat, 18 Apr 2020 17:31:24 +0300 Subject: [PATCH 6/9] fixes; --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index cb7f91e..6103417 100644 --- a/README.md +++ b/README.md @@ -674,7 +674,7 @@ comprehensive and high-level, you may want the Web Frameworks section. * [Wslay][460] - WebSocket library. Implements version 13 of the WebSocket protocol, as described in RFC 6455. [``MIT``][MIT] * [zyre][419] - Framework for proximity-based peer-to-peer applications. [``MPL-2.0``][MPL-2.0] -* [libpcap][565] - API provides to various kernel packet capture mechanism. [``BSD-3-Clause``][BSD-3-Clause] +* [libpcap][566] - API provides to various kernel packet capture mechanism. [``BSD-3-Clause``][BSD-3-Clause] ## Numerical ## @@ -1686,3 +1686,4 @@ support for C. [563]: https://github.com/christophercrouzet/rexo [564]: https://github.com/ithewei/libhv [565]: https://github.com/sakhmatd/rogueutil +[566]: https://github.com/the-tcpdump-group/libpcap From 0c4c11dedb804f402712fe5a423491deeecfcf35 Mon Sep 17 00:00:00 2001 From: Koz Ross Date: Mon, 4 May 2020 08:58:50 +1200 Subject: [PATCH 7/9] Removing Spearmint (no longer maintained) --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 6103417..58521c9 100644 --- a/README.md +++ b/README.md @@ -407,7 +407,6 @@ Engines, libraries and other helpful things specifically for making games. * [SIGIL][429] - Sound, Input and Graphics Integration Library; a simple alternative to other libraries for doing all those things. Various licenses, all open source. -* [Spearmint][371] - Engine designed for FPS games. [``GPL-3.0-or-later``][GPL-3.0-or-later] * [uastar][535] - Minimal A\* implementation. [``ZLib``][Zlib] ## Graphics ## @@ -1493,7 +1492,7 @@ support for C. [368]: https://mesonbuild.com/ [369]: https://icculus.org/twilight/darkplaces/ [370]: http://orx-project.org -[371]: https://clover.moe/spearmint + [372]: http://libsound.io [373]: http://libcox.symisc.net/ [374]: https://proprogramming.org/some-unknown-features-or-tricks-in-c-language/ From e21da2f7b274b23cc99e0eb429db1ed15bfabd80 Mon Sep 17 00:00:00 2001 From: Koz Ross Date: Mon, 4 May 2020 09:02:38 +1200 Subject: [PATCH 8/9] Adding CLIST --- README.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 58521c9..9e07e04 100644 --- a/README.md +++ b/README.md @@ -263,8 +263,10 @@ Databases and data stores with C APIs. ## Data Structures ## -* [Collections-C][406] - Library of generic data structures. [``LGPL-3.0-or-later``][LGPL-3.0-or-later] * [C-Macro-Collections][550] - Generate simple and generic data structures using macros. [``MIT``][MIT] +* [CLIST][371] - Simple and lightweight [dynamic array][25] implementation. + [``BSD-2-Clause``][BSD-2-Clause] +* [Collections-C][406] - Library of generic data structures. [``LGPL-3.0-or-later``][LGPL-3.0-or-later] * [kdtree][337] - Simple library for working with KD-trees. [``BSD-3-Clause``][BSD-3-Clause] * [libavl][156] - Library containing a range of self-balancing binary trees. [``GPL-3.0-or-later``][GPL-3.0-or-later] @@ -1147,7 +1149,7 @@ support for C. [22]: https://www.sqlite.org/ [23]: https://unqlite.org/ [24]: https://github.com/google/brotli - +[25]: https://en.wikipedia.org/wiki/Dynamic_array [26]: https://github.com/clibs/clib [27]: https://github.com/clibs/clib/wiki/Packages [28]: http://www.koanlogic.com/libu/ @@ -1492,7 +1494,7 @@ support for C. [368]: https://mesonbuild.com/ [369]: https://icculus.org/twilight/darkplaces/ [370]: http://orx-project.org - +[371]: https://github.com/AlexanderAgd/CLIST [372]: http://libsound.io [373]: http://libcox.symisc.net/ [374]: https://proprogramming.org/some-unknown-features-or-tricks-in-c-language/ From b8667b8232e633e89873a14408401823ac549900 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rafael=20S=C3=A1=20Menezes?= Date: Sun, 10 May 2020 12:26:03 -0400 Subject: [PATCH 9/9] added esbmc --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 9e07e04..2fc9b50 100644 --- a/README.md +++ b/README.md @@ -313,6 +313,8 @@ work. debuggers. [``GPL-3.0-or-later``][GPL-3.0-or-later] * [debug][467] - One-header library for easier 'printf debugging'. [``MIT``][MIT] +* [ESBMC][567] - Efficient SMT-based Bounded Model Checker; a tool for verification of + single and multithread programs, user assertions, overflow, and pointer/memory safety. [``Apache-2.0``][Apache-2.0] * [GDB][87] - GNU Project debugger. [``GPL-3.0-or-later``][GPL-3.0-or-later] * [lldb][468] - LLVM debugger. [``NCSA``][NCSA] * [rr][95] - Debugger that records non-deterministic executions to allow for @@ -1688,3 +1690,4 @@ support for C. [564]: https://github.com/ithewei/libhv [565]: https://github.com/sakhmatd/rogueutil [566]: https://github.com/the-tcpdump-group/libpcap +[567]: http://esbmc.org/