Our great sponsors
buffet | stan | |
---|---|---|
12 | 3 | |
410 | 559 | |
- | 0.5% | |
2.5 | 8.1 | |
5 months ago | 2 months ago | |
C | Haskell | |
GNU General Public License v3.0 only | Mozilla Public License 2.0 |
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.
buffet
-
The case against an alternative to C
Made this C lib for exactly the reasons you mention. I love C but got mad at the constant bounds errors and copying.
https://github.com/alcover/buffet
-
Proposal for a full-fledged C String
Dynamic allocation, SSO, views, refcounting, etc.. are spread on various implementations.
C++ separates string and string_view. And they're not fully compatible. (Ex. you can't concat cross-type !?).
Rust has str, &str, String Box, ... ?
In the spirit of "a slice of a string is still a string", why not pack it all into a single type ? And offer security in the process.
Here's the scheme : https://github.com/alcover/buffet/raw/main/assets/schema.png
Here's the code : https://github.com/alcover/buffet
-
One String to Rule Them All
Buffet
- Buffet - polymorphic C buffer in 16 bytes with SSO, views, refcount
- Buffet – An All-inclusive Buffer for C
-
Hacker News top posts: Mar 8, 2022
Buffet – An All-inclusive Buffer for C\ (63 comments)
- Buffet
-
Langage C : un type polymorphe de buffer avec SSO, Views, refcount, en seulement 16 octets
Buffet
stan
-
Comparing strict and lazy
That sounds very interesting. Maybe it would not be very hard to implement a prototype of such a system with Stan?
-
Introducing Haskell in Soisy
Would you be okay if we add Soisy to the list of companies using stan?
-
Hsthrift: Open-sourcing Thrift for Haskell - Facebook Engineering
However, I'm a huge fan of static tools like this in general. I've heard great things about https://package.elm-lang.org/packages/jfmengels/elm-review/latest/ and I need to try out https://github.com/kowainik/stan. Also its possible HLint has ways to write more advanced rules and I just don't know about them, but even if that's so hopefully I've explained why just dropping it in isn't a huge win.
What are some alternatives?
asciiMol - Curses based ASCII molecule viewer for terminals.
ShellCheck - ShellCheck, a static analysis tool for shell scripts
SDS - Simple Dynamic Strings library for C
hadolint - Dockerfile linter, validate inline bash, written in Haskell
librope - UTF-8 rope library for C
clone-all - clone all the github repositories of a particular user.
stricks - Managed C strings library
hein - A general build tool for haskell projects inspired by leiningen
clib - Package manager for the C programming language.
maam - A monadic approach to static analysis following the methodology of AAM
jumprope-rs
hlint - Haskell source code suggestions