Skip to content
View davidarias's full-sized avatar

Block or report davidarias

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Neovim config for the lazy

Lua 25,819 1,760 Updated Apr 2, 2026
OCaml 55 2 Updated Jul 21, 2025

A lightweight text editor written in Lua

Lua 6,087 291 Updated Mar 11, 2026

Simple scheme bytecode VM

Rust 29 2 Updated Mar 7, 2022

Elm architecture and (V)DOM for OCaml

OCaml 207 14 Updated Feb 6, 2025

The core OCaml system: compilers, runtime system, base libraries

OCaml 6,258 1,214 Updated Apr 10, 2026

Compiler from OCaml to Javascript.

OCaml 1,097 198 Updated Apr 11, 2026

ReasonML graphics library inspired by Processing

Reason 680 25 Updated Dec 7, 2024

🍬 a functional language for building type-safe, scalable, and maintainable applications

OCaml 1,098 26 Updated Sep 25, 2023

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

C++ 20,306 3,217 Updated Apr 8, 2026

The Whiley Compiler (WyC)

Java 228 36 Updated Feb 9, 2023

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.

Wren 7,937 614 Updated Nov 19, 2025

Never: statically typed, embeddable functional programming language.

C 462 11 Updated May 12, 2024

A static, type inferred and embeddable language written in Rust.

Rust 3,392 152 Updated Dec 6, 2024

daslang - high-performance statically strong typed scripting language

C 1,115 120 Updated Apr 11, 2026

A Django test runner for mamba

Python 8 Updated Jun 18, 2020

A simple and easy-to-use library to enjoy videogames programming

C 32,004 3,006 Updated Apr 10, 2026

C in four functions

C 10,600 1,487 Updated Dec 26, 2023

Simple, zero-dependency garbage collection for C

C 1,291 72 Updated Aug 4, 2024

darktable is an open source photography workflow application and raw developer

C 12,235 1,297 Updated Apr 11, 2026

Embeddable scripting language for real-time applications

C++ 326 11 Updated Jan 5, 2023

Add coauthors to your last git commit message

Python 6 2 Updated Sep 19, 2023

Minimal and modern react+electron+webpack boilerplate

JavaScript 241 86 Updated Jul 20, 2022

Postmodern immutable and persistent data structures for C++ — value semantics at scale

C++ 2,830 202 Updated Feb 25, 2026

Python auto-completion for Emacs

Emacs Lisp 672 89 Updated Jun 2, 2025

Fuzzy matching for Emacs ... a la Sublime Text.

Emacs Lisp 524 38 Updated Feb 5, 2024

Project Interaction Library for Emacs

Emacs Lisp 4,188 591 Updated Mar 10, 2026

An extensible emacs dashboard

Emacs Lisp 1,484 139 Updated Apr 2, 2026

Minor modes to highlight indentation guides in emacs.

Emacs Lisp 479 57 Updated Apr 7, 2024

On the fly syntax checking for GNU Emacs

Emacs Lisp 2,512 456 Updated Mar 20, 2026
Next