Giters
tacryt-socryp

tacryt-socryp

Geek Repo

127

followers

152

following

282

stars

Github PK Tool:Github PK Tool

Organizations
urbit

tacryt-socryp's starred repositories

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:96548Issues:1480Issues:54166

whisper

Robust Speech Recognition via Large-Scale Weak Supervision

Language:PythonLicense:MITStargazers:67096Issues:559Issues:0

llama.cpp

LLM inference in C/C++

Language:C++License:MITStargazers:64518Issues:539Issues:3694

whisper.cpp

Port of OpenAI's Whisper model in C/C++

Language:CLicense:MITStargazers:34209Issues:315Issues:1289

typst

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

Language:RustLicense:Apache-2.0Stargazers:32538Issues:84Issues:2397

dalai

The simplest way to run LLaMA on your local machine

Language:CSSStargazers:13095Issues:149Issues:381

ggml

Tensor library for machine learning

Language:C++License:MITStargazers:10790Issues:127Issues:399

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10416Issues:99Issues:187

nebuly

The user analytics platform for LLMs

Language:PythonLicense:Apache-2.0Stargazers:8365Issues:93Issues:202

ml-ane-transformers

Reference implementation of the Transformer architecture optimized for Apple Neural Engine (ANE)

Language:PythonLicense:NOASSERTIONStargazers:2529Issues:47Issues:0

scaffold-eth-2

Open source forkable Ethereum dev stack

Language:TypeScriptLicense:MITStargazers:1284Issues:21Issues:249

ezkl

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Language:RustLicense:Apache-2.0Stargazers:914Issues:21Issues:112

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

Language:RustLicense:Apache-2.0Stargazers:601Issues:23Issues:304

ministark

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Language:RustLicense:MITStargazers:339Issues:13Issues:13

icicle

A hardware acceleration library for compute intensive cryptography :ice_cube:

Language:C++License:MITStargazers:320Issues:15Issues:169

rust-hdl

A framework for writing FPGA firmware using the Rust Programming Language

Language:RustLicense:NOASSERTIONStargazers:299Issues:10Issues:34

kaze

An HDL embedded in Rust.

Language:RustLicense:Apache-2.0Stargazers:193Issues:14Issues:36

panic-never

This crate guarantees that your application is free of panicking branches

Language:RustLicense:Apache-2.0Stargazers:176Issues:6Issues:2

Learn-FPGA-Programming

Learn FPGA Programming, published by Packt

Language:VHDLLicense:MITStargazers:169Issues:8Issues:9

azimuth

General-purpose PKI on Ethereum

Language:SolidityLicense:MITStargazers:134Issues:29Issues:16

yatima

A zero-knowledge Lean4 compiler and kernel

Language:LeanLicense:MITStargazers:110Issues:8Issues:115

ibig-rs

A big integer library in Rust with good performance.

Language:RustLicense:Apache-2.0Stargazers:102Issues:7Issues:14

0g

Language:PythonStargazers:40Issues:3Issues:0

goat

Language:JavaScriptStargazers:35Issues:4Issues:1

msm-webgpu

Language:HTMLLicense:MITStargazers:19Issues:4Issues:2

poast

Martian twitter

Language:hoonLicense:MITStargazers:15Issues:3Issues:1

campfire

Voice and video chat app built on the urbit-webrtc gall agents.

Language:hoonLicense:MITStargazers:13Issues:0Issues:0

js-http-api

A JS library for interfacing with Urbit over HTTP

Language:TypeScriptStargazers:12Issues:4Issues:0

jargon-nock

Informal prompt to encourage GPT to understand a few Nock instructions

Stargazers:11Issues:2Issues:0

knock

Nock semantics in K

Language:PythonStargazers:7Issues:20Issues:1