ivanmoreau

Iván Molina Rebolledo's starred repositories

granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Language:HaskellBSD-3-Clause56700

lobster

The Lobster Programming Language

Language:C++213500

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.

Language:Kotlin2400

flecs

A fast entity component system (ECS) for C & C++

Language:CMIT549100

ocurrent

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

Language:OCamlApache-2.013500

stryker4s

Mutation testing for Scala

Language:ScalaApache-2.019300

almond

A Scala kernel for Jupyter

Language:ScalaBSD-3-Clause156200

kcas

Software Transactional Memory for OCaml

Language:OCamlISC9200

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

Language:RustNOASSERTION1500900

ante

A safe, easy systems language

Language:RustMIT183000

arturo

Simple, expressive & portable programming language for efficient scripting

Language:NimMIT65200

circuit

CircuitBreaker is used to provide stability and prevent cascading failures in distributed systems.

Language:ScalaApache-2.04500

the-constitution-of-japan

Language:Prolog43200

bedrock2

A work-in-progress language and compiler for verified low-level programming

Language:CoqMIT27700

stainless

Verification framework and tool for higher-order Scala programs

Language:HTMLApache-2.034700

neotypes

Scala lightweight, type-safe, asynchronous driver for neo4j

Language:ScalaMIT16100

awesome-copyfarleft

[Mirror] Upstream: https://nest.pijul.com/fabian/awesome-copyfarleft

5400

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION340900

janet

A dynamic language and bytecode vm

Language:CMIT329600

Carp

A statically typed lisp, without a GC, for real-time applications.

Language:HaskellApache-2.0543000

rust-sitter

Use Tree Sitter to parse your own languages in Rust

Language:RustMIT56400

tofu

Functional programming toolbox

Language:ScalaApache-2.051700

enumeratum

A type-safe, reflection-free, powerful enumeration implementation for Scala with exhaustive pattern match warnings and helpful integrations.

Language:ScalaMIT117700

flake-parts

❄️ Simplify Nix Flakes with the module system

Language:NixMIT58800

mission-control

A `flake-parts` module for your Nix devshell scripts

Language:NixMIT6900

whisper.cpp

Port of OpenAI's Whisper model in C/C++

Language:CMIT3107200

HaskellR

The full power of R in Haskell.

Language:HaskellNOASSERTION58000

droste

recursion schemes for cats; to iterate is human, to recurse, divine

Language:ScalaApache-2.038400

ocaml-dns

OCaml implementation of the DNS protocol

Language:OCamlBSD-2-Clause10200

rust_libloading

Bindings around the platform's dynamic library loading primitives with greatly improved memory safety.

Language:RustISC112400