ivanmoreau's Stars
ggerganov/whisper.cpp
Port of OpenAI's Whisper model in C/C++
slint-ui/slint
Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.
SanderMertens/flecs
A fast entity component system (ECS) for C & C++
carp-lang/Carp
A statically typed lisp, without a GC, for real-time applications.
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
janet-lang/janet
A dynamic language and bytecode vm
aardappel/lobster
The Lobster Programming Language
jfecher/ante
A safe, easy systems language
almond-sh/almond
A Scala kernel for Jupyter
lloydmeta/enumeratum
A type-safe, reflection-free, powerful enumeration implementation for Scala with exhaustive pattern match warnings and helpful integrations.
nagisa/rust_libloading
Bindings around the platform's dynamic library loading primitives with greatly improved memory safety.
arturo-lang/arturo
Simple, expressive & portable programming language for efficient scripting
hercules-ci/flake-parts
❄️ Simplify Nix Flakes with the module system
tweag/HaskellR
The full power of R in Haskell.
hydro-project/rust-sitter
Use Tree Sitter to parse your own languages in Rust
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
tofu-tf/tofu
Functional programming toolbox
bitlaw-jp/the-constitution-of-japan
higherkindness/droste
recursion schemes for cats; to iterate is human, to recurse, divine
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs
mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
stryker-mutator/stryker4s
Mutation testing for Scala
neotypes/neotypes
Scala lightweight, type-safe, asynchronous driver for neo4j
ocurrent/ocurrent
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
mirage/ocaml-dns
OCaml implementation of the DNS protocol
ocaml-multicore/kcas
Software Transactional Memory for OCaml
Platonic-Systems/mission-control
A `flake-parts` module for your Nix devshell scripts
LibreCybernetics/awesome-copyfarleft
[Mirror] Upstream: https://nest.pijul.com/fabian/awesome-copyfarleft
davenverse/circuit
CircuitBreaker is used to provide stability and prevent cascading failures in distributed systems.
tudo-aqua/z3-turnkey
Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.