gustavohansen
Follow
Stars
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Scan for React performance issues and eliminate slow renders in your app
Open-Unmix - Music Source Separation for PyTorch
Learning operating system development using Linux kernel and Raspberry Pi
Ejercicios prácticos desarrollados durante la cursada de la materia Laboratorio II en la Universidad de Palermo.
A .NET Core sample project based on DDD principles
This is a Phi Family of SLMs book for getting started with Phi Models. Phi a family of open sourced AI models developed by Microsoft. Phi models are the most capable and cost-effective small langua…
📚 Freely available programming books
™️ A powerful paging view controller with interactive indicator bars
Submit audio files to AWS HealthScribe, view the status of the job, and visualize the transcript and summarized clinical notes, including sections like complaint, history of present illness, assess…
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
NoSQL data store using the Seastar framework, compatible with Apache Cassandra and Amazon DynamoDB
Dapr is a portable, event-driven, runtime for building distributed applications across cloud and edge.
A simple RPC framework with protobuf service definitions
Zuul is a gateway service that provides dynamic routing, monitoring, resiliency, security, and more.
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
Twine, a tool for telling interactive, nonlinear stories
A rich text editor for everyday writing
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
The best way to start a full-stack, typesafe Next.js app
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.