cryptoverif
Wren
| cryptoverif | Wren | |
|---|---|---|
| 1 | 44 | |
| 4 | 6,765 | |
| - | 0.5% | |
| - | 0.0 | |
| over 7 years ago | 9 months ago | |
| OCaml | Wren | |
| 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.
cryptoverif
-
Tinyssh
A better question to ask would have been, why settle for just memory safety - does a formally verified sshd exist? That kind of thing seems to be implemented more in OCaml and F#, like Project Everest, which has formally verified implementations of primitives (HACL) TLS, QUIC, and Signal https://project-everest.github.io/ ... ssh is notably missing?
I had a dig and found that ssh had in fact been done 9 years ago, tho it doesn't seem to have made it to a distribution: it's an offshoot of the CryptoVerif project[1] (which is, maybe unsurprisingly, under the umbrella of the same Prosecco team at Inria who worked on Project Everest). In 2015 Bruno Blanchet and David Cadé wrote a paper "From Computationally-Proved Protocol Specifications to Implementations and Application to SSH"[2] which describes using CryptoVerif to generate an implementation of SSH from the spec; the code is in the CryptoVerif tarball, but someone's helpfully put that up on github if you want a look https://github.com/mgrabovsky/cryptoverif/tree/master/implem...
The eye opening bits in the paper (given the claims of tinyssh to be small at < 100k words):
Wren
- Tinyssh
-
Show HN: Wren – simple yet super extensible task management system
For a moment I thought it was about wren programming language... [1]
[1] https://wren.io/
-
Attempting each AOC in a language starting with each letter of the alphabet
For "W" you could use Wren.
-
loxcraft: a compiler, language server, and online playground for the Lox programming language
Bob Nystrom also has a blog, and his articles are really well written (see his post on Pratt parsers / garbage collectors). I'd also recommend going through the source code for Wren, it shares a lot of code with Lox. Despite the deceptive simplicity of the implementation, it (like Lox) is incredibly fast - it's a great way to learn how to build production grade compilers in general.
-
Bevy 0.10: data oriented game engine built in Rust
Only kind of unrelated ... Every time I see the Bevy logo I'm reminded of Wren language https://wren.io/
-
Are they all like this?
If you want a pure C99 (sadly not C89 like Lua) immensely fast embeddable language pure interpreter, wren is a great language with excellent features like overload by arity. There is a huge maturity gap between the languages tho.
-
Most important language features not touched in the book "Crafting Interpreters"?
Check out the source to Wren: https://wren.io. It’s from the author of Crafting Interpreters and builds directly on what’s discussed in the book (essentially a more complete Lox) and adds several additional types, including an array.
- Why does Rust have parameters on impl?
- Liberating the Smalltalk lurking in C and Unix
-
What are some good C programs I can read through?
The best C code I have ever read is that of wren.
What are some alternatives?
Lua - Lua is a powerful, efficient, lightweight, embeddable scripting language. It supports procedural programming, object-oriented programming, functional programming, data-driven programming, and data description.
LuaJIT - Mirror of the LuaJIT git repository
ChaiScript - Embedded Scripting Language Designed for C++
V8 - The official mirror of the V8 Git repository
Duktape - Duktape - embeddable Javascript engine with a focus on portability and compact footprint
ChakraCore - ChakraCore is an open source Javascript engine with a C API. [Moved to: https://github.com/chakra-core/ChakraCore]
sol2 - Sol3 (sol2 v3.0) - a C++ <-> Lua API wrapper with advanced features and top notch performance - is here, and it's great! Documentation:
q3vm - Q3VM - Single file (vm.c) bytecode virtual machine/interpreter for C-language input
dart-embedding-example - [Deprecated] An example of embedding Dart in an existing C++ application
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
V7 - Embedded JavaScript engine for C/C++
libffi - A portable foreign-function interface library.