The only Python type checker scoring 100% on the official python/typing conformance suite — and the fastest we've measured. Complete open-source Python dev environment in Rust: type checker, language server, debugger, profiler, plus VS Code, Cursor, Zed & Neovim extensions. Strict by default.
☆55Aug 5, 2026Updated this week
Alternatives and similar repositories for Basilisk
Users that are interested in Basilisk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- F# Actors for Fable and Beam☆17Jul 29, 2026Updated last week
- ☆77Updated this week
- The sharpest infrastructure automation tool.☆18Jul 16, 2026Updated 3 weeks ago
- A localization project for PC98's MS-DOS 5.00☆25Jul 20, 2026Updated 2 weeks ago
- ☆10Dec 3, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implementation of the paper "Variable Bitrate Residual Vector Quantization for Audio Coding"☆11Apr 10, 2025Updated last year
- A Haskell Tutorial about parsing Satellite Telemetry☆13Nov 20, 2021Updated 4 years ago
- ☆10Jun 11, 2024Updated 2 years ago
- Python utils for everyday use. See the docs at☆14Dec 26, 2022Updated 3 years ago
- Data manipulation and transformation for audio signal processing, powered by PyTorch☆10Sep 30, 2024Updated last year
- Tool for signing and countersigning iXBRL or other XML files☆13Mar 3, 2023Updated 3 years ago
- Lambda Query Language: A functional pipeline-style DSL that transpiles to SQL and DataProvider: a C# source generator that creates compil…☆67Updated this week
- [NeurIPS'22] PyTorch library to compare similarity between NN representations☆13Feb 27, 2025Updated last year
- Code repo for "S3R-Net: A Single-Stage Approach to Self-Supervised Shadow Removal" (NTIRE workshop @ CVPR 2024)☆11Jun 15, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Enhanced Reverberation As Supervision (ERAS) for unsupervised reverberant speech separation☆15Aug 1, 2024Updated 2 years ago
- C# port of stb_dxt.h☆10Aug 9, 2020Updated 5 years ago
- A runtime SPIR-V assembler in C#☆11Jan 7, 2023Updated 3 years ago
- Digital Speech Processing in PyTorch.☆15Aug 12, 2022Updated 3 years ago
- Cross-Speaker Encoding Network for Multi-talker Speech Recognition☆12Mar 14, 2025Updated last year
- Spatial Voice Conversion: Voice Conversion Preserving Spatial Information and Non-target Signals☆18Aug 8, 2024Updated last year
- A simple Mesh Library written in C☆13Apr 3, 2023Updated 3 years ago
- IMAP email synchronisation tool, fork and drop-in replacement for offlineimap3☆15Jul 1, 2025Updated last year
- ☆12Oct 15, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- SocksSharp provides support for Socks4/4a/5 proxy servers to HttpClient☆12Feb 3, 2021Updated 5 years ago
- Models and codes for INTERSPEECH 2023 paper DistilXLSR: A Light Weight Cross-Lingual Speech Representation Model☆13Mar 30, 2025Updated last year
- ☆14Aug 19, 2024Updated last year
- UDIM Shader Material for Godot☆11Apr 2, 2024Updated 2 years ago
- An experimental, proof of concept, low level library to exchange bitmaps between imaging libraries.☆12Jul 16, 2026Updated 3 weeks ago
- Simple, explicit JSON parsing for F# using System.Text.Json.☆54Updated this week
- ☆16Nov 11, 2024Updated last year
- ☆10Dec 22, 2023Updated 2 years ago
- Roslyn based C# heap allocation diagnostic analyzer in Hot Path☆13Nov 20, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Sep 12, 2024Updated last year
- A fork where I cause mayhem and destruction to all things good and godot.☆72Jul 17, 2026Updated 2 weeks ago
- Evaluation tool used in the BigVSAN paper☆14Mar 22, 2024Updated 2 years ago
- Sample code to demonstrate how to get started with the .NET MAUI Community Toolkit DrawingView☆12Jan 2, 2023Updated 3 years ago
- Flexible .NET implementation of Eugene Myers diff algorithm.☆15Updated this week
- Generate the FFI (foreign function interface) from a C header.☆21Jan 21, 2025Updated last year
- A modularised, multi-threaded C# game engine based on the Entity Component System architecture. Uses OpenGL for rendering and contains ma…☆12May 18, 2026Updated 2 months ago