Skip to content
View ThiagosLima's full-sized avatar

Block or report ThiagosLima

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

Showing results

📫 Fault tolerant multicore programs with actors

Gleam 502 57 Updated Jan 20, 2025

Universal select/multiselect/tagging component for Vue.js

JavaScript 6,744 1,000 Updated Feb 18, 2025

Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions

Shell 82,294 8,217 Updated Feb 6, 2025

A plugin for Vite enables you to compile an Elm application/document/element

TypeScript 207 31 Updated Feb 17, 2025

🌈 discover the beautiful programming language that makes front-end web apps a joy to build and maintain!

HTML 484 43 Updated Jan 6, 2025

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

Gleam 1,363 83 Updated Feb 17, 2025

⭕ Share quick reference cheat sheet for developers.

EJS 7,350 947 Updated Jan 6, 2025

Julia installer and version multiplexer

Rust 1,064 90 Updated Feb 17, 2025

🎈 Simple reactive notebooks for Julia

Julia 5,066 293 Updated Feb 17, 2025

📖 A guide for your daily "professional" interactions

TypeScript 1,251 47 Updated Feb 13, 2025
Elm 69 13 Updated Sep 14, 2024

A syntax tidy-upper for PureScript.

PureScript 92 11 Updated Feb 16, 2025

✨ A Learning Path for Functional Programming

Clojure 998 85 Updated Oct 22, 2024

Landing page for Livebook

Astro 104 15 Updated Feb 6, 2025

A web framework written in PureScript.

PureScript 183 17 Updated Nov 17, 2022

Component Library package & Component Catalog app code

Elm 135 12 Updated Feb 17, 2025

A fast, friendly, functional language.

Rust 4,803 323 Updated Feb 18, 2025

Harness Open Source is an end-to-end developer platform with Source Control Management, CI/CD Pipelines, Hosted Developer Environments, and Artifact Registries.

Go 32,459 2,828 Updated Feb 18, 2025

Catalog of Elixir-specific code smells

Elixir 1,472 49 Updated Sep 12, 2024

A safe, easy systems language

Rust 1,937 84 Updated Feb 17, 2025

Learn Haskell by building a blog generator - an introductory book about Haskell.

292 48 Updated Jan 8, 2025

A curated list of useful Elm tutorials, libraries and software. Inspired by awesome list. Feel free to contribute. 🚀

3,628 226 Updated Jan 3, 2025

Code examples from the Beginning Elm book - https://elmprogramming.com/

JavaScript 111 19 Updated Sep 9, 2019

Learn Rust by writing Entirely Too Many linked lists

Rust 3,314 285 Updated Jul 30, 2024

All Algorithms implemented in Rust

Rust 23,462 2,295 Updated Feb 4, 2025

An overview of Elm syntax and features

Elm 953 49 Updated Apr 27, 2018

Lean 4 programming language and theorem prover

Lean 5,076 462 Updated Feb 18, 2025

The open-source curriculum for learning Mathematics.

257 32 Updated May 11, 2024

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Haskell 1,268 38 Updated Jan 10, 2025
Next
Showing results