threeaccents

followers

following

stars

Threeaccents

Remote

threeaccents.com

Organizations

mundus

Rodrigo Lessa's starred repositories

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.010460 99 190

cadence

Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.

Language:GoMIT8246 1457 1457

borgo

Borgo is a statically typed language that compiles to Go.

Language:Rust3689 28 22

lensm

Go assembly and source viewer

Language:GoMIT3435 22 17

checkedc

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

Language:CNOASSERTION3202 106 155

teller

Cloud native secrets management for developers - never leave your command line for secrets.

Language:RustApache-2.02869 30 146

live_svelte

Svelte inside Phoenix LiveView with seamless end-to-end reactivity

Language:ElixirMIT1225 29 95

lustre

A Gleam web framework for building HTML templates, single page applications, and real-time server components.

Language:GleamMIT1077 11 82

beacon

Open-source content management system (CMS) built with Phoenix LiveView. Faster render times to boost SEO performance, even for the most content-heavy pages.

Language:ElixirMIT915 31 201

live_view_native

A framework for building native applications with Phoenix LiveView

Language:ElixirMIT599 18 75

easepick

Date range picker. Uses Shadow DOM, lightweight size, no dependencies.

Language:TypeScriptNOASSERTION594 15 89

eqwalizer

A type-checker for Erlang

Language:ScalaApache-2.0508 28 37

gradient

Gradient is a static typechecker for Elixir

Language:ElixirApache-2.0436 32 95

scholar

Traditional machine learning on top of Nx

Language:ElixirApache-2.0420 17 80

derw

An Elm-inspired language that transpiles to TypeScript

Language:TypeScriptBSD-3-Clause376 13 8

evision

Evision: An OpenCV-Erlang/Elixir binding

Language:ElixirApache-2.0338 11 121

live_admin

Low-config admin UI for Phoenix apps, built on LiveView

Language:ElixirMIT261 9 56

kitty-kitten-search

Kitten for searching in kitty

Language:PythonGPL-3.0206 3 10

reference-crdts

Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.

Language:TypeScript129 70

randstr

Generate random strings in golang

Language:GoMIT123 3 2

live_monaco_editor

Monaco Editor component for Phoenix LiveView

Language:ElixirMIT92 7 10

pogo

Distributed supervisor for clustered Elixir applications

Language:ElixirLGPL-3.090 11 3

elm-native-library

Elm native allows elm developers to build mobile application using NativeScript

Language:ReScriptAGPL-3.087 5 2

groot

Distributed KV store for ephemeral data

Language:ElixirMIT53 20

ex_wallet

A Bitcoin Wallet implementation in Elixir

Language:Elixir50 3 1

livescheme

Building a scheme live on Twitch in Golang

Language:Go20 20

graft

Raft implementation in Elixir

Language:ElixirMIT20 5 1

avl_tree

Pure Elixir AVL tree implementation

Language:ElixirMIT8 10

bst

Elixir Binary Search Tree

Language:ElixirMIT6 10

bully-algorithm

Distributed Systems - Bully Algorithm in Elixir

Language:Elixir2 30