victorcrrd's Stars
langchain-ai/langchain
🦜🔗 Build context-aware reasoning applications
gpt-engineer-org/gpt-engineer
Specify what you want it to build, the AI asks for clarification, and then builds it. Completely separate team and codebase from the AI Web App builder https://gptengineer.app
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
tokio-rs/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
spotDL/spotify-downloader
Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).
AudioKit/AudioKit
Audio synthesis, processing, & analysis platform for iOS, macOS and tvOS
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
Shabinder/SpotiFlyer
Kotlin Multiplatform Music Downloader, Supports Spotify / Gaana / Youtube Music / Jio Saavn / SoundCloud.
google/fully-homomorphic-encryption
An FHE compiler for C++
pedrozath/coltrane
🎹🎸A music theory library with a command-line interface
reddit-archive/reddit1.0
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
evanmiller/LLM-Reading-List
LLM papers I'm reading, mostly on inference and model compression
microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
rosefromthedead/effing-mad
Algebraic effects for Rust
uwplse/verdi
A framework for formally verifying distributed systems implementations in Coq
xebia-functional/fetch
Simple & Efficient data access for Scala and Scala.js
runtimeverification/k
K Framework Tools 7.0
whatisaphone/genawaiter
Stackless generators on stable Rust.
formal-land/coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
DistCompiler/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
xebia-functional/xef
Building applications with LLMs through composability, in Kotlin, Scala, ...
tnelson/Forge
Forge: A Tool and Language for Teaching Formal Methods
tweag/kernmantle
Braiding extensible effects together in a pipeline/workflow of tasks
google/Kotlin-FirViewer
lrlucena/whilelang
A small programming language created with Scala and ANTLR
serras/WeatherApp
Weather App with Arrow + Compose Desktop
szeiger/interact
Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
msp-strath/cs208-logic
Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)