checkedc
ctl
checkedc | ctl | |
---|---|---|
21 | 22 | |
3,183 | 162 | |
0.0% | - | |
0.0 | 5.9 | |
over 1 year ago | about 2 months ago | |
C | C | |
GNU General Public License v3.0 or later | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
checkedc
- The NSA list of memory-safe programming languages has been updated
-
The Fil-C Manifesto: Garbage In, Memory Safety Out
https://github.com/microsoft/checkedc
Also, one can combine subsets of C with FOSS, static analyzers that can handle those subsets. Then, compose only in ways that the tools can handle. Then, combinatorial and fuzz testing of the interface composition.
I know you’re doing the project for fun while exploring specific ways to achieve your goals. So, these are just some links and concepts that might help on your journey. Lots of folks don’t know about prior work in this area. So, I keep passing it on.
-
My Bad Habit of Hoarding Information
- [Checked C](https://github.com/microsoft/checkedc) - extensions to make C safer #cpp
- Checked C
- Is it possible to have a superset of the C programming languages standard that is as safe as Rust?
- Checked C by Microsoft Research
-
Azure CTO: “It's time to halt starting any new projects in C/C++ ”
Yes. Microsoft Research is working on "Checked C": https://www.microsoft.com/en-us/research/project/checked-c/
As a test, someone ported FreeBSD's networking stack to Checked C. It was easy and there was no overhead to performance and binary size.
-
I want to learn csharp man
Haha. I think they did ultimately agree. Thus a later research project is: Checked-C
ctl
-
A header-only C implementation of C++ <algorithm>
Well, I do like mine better, which is closer to the STL, and for all containers. https://github.com/rurban/ctl/
-
A simple hash table in C
search for htable or hashtable in thousands of open source projects. only a minority has worse hashtables than this one (clisp, perl5 e.g.).
For better ones I would point to my linked list implementation: https://github.com/rurban/ctl/blob/master/ctl/unordered_set.... (because it has various security policies, nobody else has)
-
Popular Data Structure Libraries in C ?
C Container Template Library, Rurban Variant (CTL) - The page for unordered_map reads "Implementation in work still".
-
C Template Library
There is also the rurban variant variant of CTL which is more complete.
-
Better C Generics: The Extendible _Generic
The prototype of CC used this mechanism to provide a generic API for types instantiated via templates (so basically like other container libraries, but with an extendible-_Generic-based API laid over the top of the generated types). This approach has some significant advantages over the approach CC now uses, but I got a bit obsessed with eliminating the need to manually instantiate templates.
- C_dictionary: A simple dynamically typed and sized hashmap in C - feedback welcome
-
How different is C++ from C? Contrasting simple Unix SORT programs
But the most common that I know of is this one: https://github.com/tylov/STC. There's also this one mentioned above https://rurban.github.io/ctl/
- C++ containers but in C
- STL in C
-
On HASH-TABLEs performance
I'm also working on a proper one, but got sidetracked. https://github.com/rurban/ctl/blob/hmap/ctl/swisstable.h
What are some alternatives?
koka - Koka language compiler and interpreter
rnnoise - Recurrent neural network for audio noise reduction
rust.ko - A minimal Linux kernel module written in rust.
Klib - A standalone and lightweight C library
manyclangs - Repository hosting unofficial binary pack files for many commits of LLVM
STC - A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forward List, Smart Pointers, Bitset and Random numbers.
c2rust - Migrate C code to Rust
roost - Proof of Concept for Eventsourced backend
linux - Linux kernel source tree
LIPS - Scheme based powerful lisp interpreter in JavaScript
dafny - Dafny is a verification-aware programming language
covid_status