Giters
Helder S Ribeiro (agentofuser)

agentofuser

Geek Repo

141

followers

2k

following

4k

stars

Company:@Keykapp

Location:UTC-4

Home Page:https://agentofuser.com

Twitter:@agentofuser

Github PK Tool:Github PK Tool

Organizations
provablysafeai

Helder S Ribeiro's starred repositories

lapce

Lightning-fast and Powerful Code Editor written in Rust

Language:RustLicense:Apache-2.0Stargazers:33358Issues:186Issues:1840

floem

A native Rust UI library with fine-grained reactivity

Language:RustLicense:MITStargazers:2486Issues:21Issues:122

component-model

Repository for design and specification of the Component Model

Language:PythonLicense:NOASSERTIONStargazers:880Issues:79Issues:200

bartib

A simple timetracker for the command line. It saves a log of all tracked activities as a plaintext file and allows you to create flexible reports.

Language:RustLicense:GPL-3.0Stargazers:619Issues:6Issues:36

jco

JavaScript tooling for working with WebAssembly Components

Language:RustLicense:Apache-2.0Stargazers:551Issues:18Issues:172

juvix

A language for intent-centric and declarative decentralised applications

Language:HaskellLicense:GPL-3.0Stargazers:442Issues:26Issues:686

frog

Framework for Farcaster Frames 🐸

Language:TypeScriptLicense:NOASSERTIONStargazers:371Issues:5Issues:77

spiderlightning

A set of WIT definitions and associated implementations to enable app developers to work at a faster pace and require less knowledge of the environment in which they are executing.

Language:RustLicense:MITStargazers:306Issues:14Issues:154

Marabou

Language:C++License:NOASSERTIONStargazers:238Issues:27Issues:244

typed

Web Applications with Effect-TS

Language:TypeScriptLicense:MITStargazers:216Issues:7Issues:10

spec

User Controlled Authorization Network (UCAN) Specification

License:NOASSERTIONStargazers:166Issues:15Issues:55

taiga

A framework for generalized shielded state transitions

Language:RustLicense:GPL-3.0Stargazers:127Issues:23Issues:96

vehicle

A toolkit for enforcing logical specifications on neural networks

Language:HaskellLicense:BSD-3-ClauseStargazers:74Issues:9Issues:359

spec

High Level IPVM Spec

License:NOASSERTIONStargazers:49Issues:14Issues:11

bablr-vm

A VM for enforcing language rules on agAST trees

Language:JavaScriptLicense:MITStargazers:34Issues:4Issues:36

tap-python-sdk

Language:PythonLicense:MITStargazers:31Issues:5Issues:12

geb

A Categorical View of Computation

Language:IdrisLicense:GPL-3.0Stargazers:27Issues:19Issues:43

webxdc-dev

A development server for webxdc apps

Language:TypeScriptLicense:UnlicenseStargazers:17Issues:6Issues:16

invocation

UCAN Invocation & Pipelining

License:NOASSERTIONStargazers:11Issues:6Issues:15

control-panel

Language:SvelteLicense:NOASSERTIONStargazers:9Issues:6Issues:26

unison-vscode-ui

Unison UI inside VS Code

Language:TypeScriptStargazers:7Issues:6Issues:16

research

A short list of relevant research related to IPVM and the Homestar implementation of IPVM

License:CC0-1.0Stargazers:6Issues:7Issues:0

dev-week-2024

Language:JavaScriptStargazers:5Issues:7Issues:0

workflow

IPVM Workflow Description Format

License:NOASSERTIONStargazers:4Issues:8Issues:0

bablr

BABLR!

Language:JavaScriptLicense:MITStargazers:3Issues:0Issues:0

roadmap

The roadmap for the Everywhere Computer

Stargazers:3Issues:3Issues:10

docs

Everywhere Computer documentation for running nodes, writing workflows, and working with IPVM

Language:MDXStargazers:2Issues:3Issues:10

fm-ml

Collection of resources for research concerning Machine Learning and Formal Methods.

Language:TeXStargazers:2Issues:0Issues:0

agast-vm

A VM providing DOM-like guarantees about agAST trees

Language:JavaScriptLicense:MITStargazers:1Issues:2Issues:36

getting-started

Getting started workspace settings for Everywhere Computer and local Homestar node

Stargazers:1Issues:7Issues:0