Giters
Cristian Camilo García Barrera (ccgarciab)

ccgarciab

Geek Repo

4

followers

15

following

136

stars

Github PK Tool:Github PK Tool

Cristian Camilo García Barrera's starred repositories

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language:TypeScriptLicense:Apache-2.0Stargazers:600Issues:0Issues:0

esp-idf-hal

embedded-hal implementation for Rust on ESP32 and ESP-IDF

Language:RustLicense:Apache-2.0Stargazers:409Issues:0Issues:0

type-challenges

Collection of TypeScript type challenges with online judge

Language:TypeScriptLicense:MITStargazers:41173Issues:0Issues:0

awesome-embedded-rust

Curated list of resources for Embedded and Low-level development in the Rust programming language

License:NOASSERTIONStargazers:5763Issues:0Issues:0

std-training

Embedded Rust on Espressif training material.

Language:RustLicense:Apache-2.0Stargazers:567Issues:0Issues:0

springdoc-openapi-demos

Demo for OpenAPI 3 with spring-boot

Language:JavaStargazers:484Issues:0Issues:0

hedy

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.

Language:CSSLicense:EUPL-1.2Stargazers:1247Issues:0Issues:0

cloud-run-faq

Unofficial FAQ and everything you've been wondering about Google Cloud Run.

Language:ShellLicense:CC-BY-4.0Stargazers:2304Issues:0Issues:0

interactive-lp

Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

Language:Standard MLLicense:NOASSERTIONStargazers:272Issues:0Issues:0

system-design

Learn how to design systems at scale and prepare for system design interviews

License:NOASSERTIONStargazers:29916Issues:0Issues:0

lc3-forth

Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU

Language:CStargazers:81Issues:0Issues:0

mandelbrot.site

A web app that lets you explore the Mandelbrot set fractal. Built with Rust (compiled to Wasm) and TypeScript.

Language:TypeScriptLicense:MITStargazers:60Issues:0Issues:0

MLE-Flashcards

200+ detailed flashcards useful for reviewing topics in machine learning, computer vision, and computer science.

License:GPL-3.0Stargazers:1891Issues:0Issues:0

github-workflows-kt

Authoring GitHub Actions workflows in Kotlin. You won't go back to YAML!

Language:KotlinLicense:Apache-2.0Stargazers:491Issues:0Issues:0

default-map

A Map subclass that automatically adds missing values

Language:JavaScriptStargazers:2Issues:0Issues:0

google-webfonts-helper

A Hassle-Free Way to Self-Host Google Fonts. Get eot, ttf, svg, woff and woff2 files + CSS snippets

Language:TypeScriptLicense:MITStargazers:11988Issues:0Issues:0

prql

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Language:RustLicense:Apache-2.0Stargazers:9550Issues:0Issues:0

programmer-browser

A fast-searching and space-saving browser specially designed for programmers.

Language:TypeScriptLicense:MITStargazers:585Issues:0Issues:0

rs-lox

A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.

Language:RustLicense:MITStargazers:12Issues:0Issues:0

.NET-Backend-Developer-Roadmap

Roadmap for a .NET Backend Developer working with Microservices

Stargazers:6532Issues:0Issues:0

web3

Making sense of web3 & crypto. Introduction to key concepts and ideas. Rigorous, constructive analysis of key claims pro and con. A look at the deeper hopes and aspirations.

Language:HTMLLicense:CC0-1.0Stargazers:1717Issues:0Issues:0

awesome-compilers

:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

License:NOASSERTIONStargazers:8620Issues:0Issues:0

ama

A system to amalgamate any features you want into any language you need

Language:CLicense:BSD-2-ClauseStargazers:26Issues:0Issues:0

hammerfest

Hammerfest web game sources

Language:MathematicaLicense:NOASSERTIONStargazers:42Issues:0Issues:0

Mascarpone

MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.

Language:HaskellLicense:UnlicenseStargazers:21Issues:0Issues:0

dune

A shell🐚 by the beach🏖️!

Language:RustLicense:MITStargazers:727Issues:0Issues:0

mal

mal - Make a Lisp

Language:AssemblyLicense:NOASSERTIONStargazers:9878Issues:0Issues:0

jitsi

Jitsi is an audio/video and chat communicator that supports protocols such as SIP, XMPP/Jabber, IRC and many other useful features.

Language:JavaLicense:Apache-2.0Stargazers:4063Issues:0Issues:0

deepmind-research

This repository contains implementations and illustrative code to accompany DeepMind publications

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:12910Issues:0Issues:0

comcast

Simulating shitty network connections so you can build better systems.

Language:GoLicense:Apache-2.0Stargazers:10248Issues:0Issues:0