Bruno-366's Stars
PlaidWeb/webmention.js
Client-side library for rendering webmentions from webmention.io
whonore/Coqtail
Interactive Coq Proofs in Vim
jbrisbin/asciibuild
Asciidoctor Extensions for literate programming
idyll-lang/idyll
Create explorable explanations and interactive essays.
philzook58/nand2coq
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
phreda4/r4
:r4 concatenative programming language with ideas from ColorForth.
nicolas-p/skov
A visual programming environment.
bloom-lang/bud
Prototype Bud runtime (Bloom Under Development)
diku-dk/futhark
:boom::computer::boom: A data-parallel functional programming language
skilldrick/easyforth
Learn Forth!
WorldBrain/Memex
Browser extension to curate, annotate, and discuss the most valuable content and ideas on the web. As individuals, teams and communities.
ponylang/ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
AbsInt/CompCert
The CompCert formally-verified C compiler
seL4/l4v
seL4 specification and proofs
seL4/seL4
The seL4 microkernel
pharo-project/pharo
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
factor/factor
Factor programming language
willghatch/racket-rash
The Reckless Racket Shell
marcpaq/b1fipl
A Bestiary of Single-File Implementations of Programming Languages
bakpakin/Fennel
Lua Lisp Language
d4l3k/go-pry
An interactive REPL for Go that allows you to drop into your code at any point.
vlang/v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
red/red
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
FSMaxB/lfs-me
Linux From Scratch made ( more ) easy. A simple, fakeroot based, package manager for LFS heavily inspired by Archlinux' package management.
augustl/halt
OS where everything is immutable! (Experimental)
Lucretia/bare_bones
Ada Bare Bones OS development tutorial source code
garybgenett/gary-os
GaryOS is an entire GNU/Linux system in a single bootable file
distr1/distri
a Linux distribution to research fast package management
letoram/arcan
Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"