danieluh2019 Goto Github PK

autogoal

A Python framework for program synthesis with a focus on Automated Machine Learning.

cairo-vm.go

cairo-vm.go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

cord19-ann

Semantic annotation model for scientific papers related to COVID-19

covid19cuba-action

GitHub Action of Covid19 Cuba Data project implemented in Python

covid19cuba-app

Mobile application of Covid19 Cuba Data project implemented with Flutter

cryptopals-crypto-challenges

Rust solutions to the cryptopals crypto challenges

data-science-for-beginners

10 Weeks, 20 Lessons, Data Science for All!

dojo

Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo

dspy

DSPy: The framework for programming with foundation models

eopsin

A simple pythonic programming language for Smart Contracts on Cardano

exchange-market-simulation

fastapi-demo

Fastapi demo with docker, redis and deploy to render

get_server

A backend server that makes it possible to program with Flutter syntax and reuse existing code

gif-expert-app

seccion del curso de react 0 a experto de fernando herrera en typescript

godot-open-rpg

Learn to create turn-based combat with this Open Source RPG demo ⚔

jarvis

JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf

lambdaworks

The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too

localai

:robot: The free, Open Source OpenAI alternative. Self-hosted, community-driven and local-first. Drop-in replacement for OpenAI running on consumer-grade hardware. No GPU required. Runs ggml, gguf, GPTQ, onnx, TF compatible models: llama, llama2, rwkv, whisper, vicuna, koala, cerebras, falcon, dolly, starcoder, and many others

ml-for-beginners

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

natasquad-ai-hackathon

olimpics

orion

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

postdataclub.github.io

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

solidity-exercises

Exercises to learn solidity. This accompanies the RareSkills Learn Solidity resource.

thesis

Latex template for students thesis of MatCom

thesis-implementation

todo

Helper app to aid user with ETECSA services

todo-app

Todo app with react+typescript and asp.net backend

typst

A new markup-based typesetting system that is powerful and easy to learn.