Fill this form if you want to be added as a collaborator: https://forms.gle/izyH27vehCq7jom48
☆19Apr 28, 2024Updated 2 years ago
Alternatives and similar repositories for Sem4
Users that are interested in Sem4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆117May 22, 2026Updated 2 months ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆394Jun 5, 2026Updated 2 months ago
- Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns☆1,001Jun 23, 2026Updated last month
- An opinionated list of resources for learning Haskell☆939Mar 26, 2022Updated 4 years ago
- This curated list contains python packages for time series analysis☆2,258Feb 10, 2023Updated 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.
- NVIDIA PhysX SDK☆4,709Updated this week
- A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by…☆11,330Updated this week
- A curated list of practical financial machine learning tools and applications.☆8,734Jan 3, 2025Updated last year
- A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training☆24,786Aug 15, 2024Updated last year
- Machine Learning Systems☆27,859Updated this week
- Master programming by recreating your favorite technologies from scratch.☆538,702Jul 14, 2026Updated 3 weeks ago
- The best ChatGPT that $100 can buy.☆57,122Aug 2, 2026Updated last week
- The simplest, fastest repository for training/finetuning medium-sized GPTs.☆62,037Nov 12, 2025Updated 8 months ago
- TradingAgents: Multi-Agents LLM Financial Trading Framework☆97,541Jul 18, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Small exercises to get you used to reading and writing Rust code!☆63,838Updated this week
- Node.js JavaScript runtime ✨🐢🚀✨☆118,850Updated this week
- A book series (2 published editions) on the JS language.☆184,647Feb 15, 2026Updated 5 months ago
- A curated list of awesome self-supervised methods☆6,410Feb 24, 2026Updated 5 months ago
- Italian Provider for CloudStream☆16Sep 3, 2025Updated 11 months ago
- A collection of tools for use with SIMH☆56May 25, 2026Updated 2 months ago
- Windows I/O Completion Port wrapper class for Delphi and Free Pascal☆50Jan 1, 2021Updated 5 years ago
- Scraper for categories and lists on ecommerce and other listing websites☆44Sep 30, 2020Updated 5 years ago
- helping first timers learn opensource contributions!☆31Aug 8, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Painless bootstrapping of golang☆11Nov 16, 2018Updated 7 years ago
- My personal configuration and theme for the awesome window manager☆10Mar 24, 2026Updated 4 months ago
- Svelte Language Definition for Highlight.js☆16Jul 20, 2022Updated 4 years ago
- Delphi component for getting notifications about file system changes☆38Sep 15, 2025Updated 10 months ago
- EAGLE design files for DU MDLR DU-INO.☆25Jul 25, 2020Updated 6 years ago
- Open Matrix API for R☆19May 3, 2022Updated 4 years ago
- Declarative, configurable & highly reusable UI development as making Lego bricks.☆963Aug 2, 2018Updated 8 years ago
- Download market data from Yahoo! Finance's API☆24,950Updated this week
- A handler to bridge Unity 6's new Multiplayer Services package with the FishNet networking solution. This allows you to use Unity's sessi…☆15Jul 16, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- PCXT port for Xilinx Spartan 6 FPGAs by spark2k06☆13May 21, 2023Updated 3 years ago
- [ARCHIVE] ActiveEndpoint is middleware for Rails application that collect and analize request and response per request for route endpoin…☆13May 2, 2018Updated 8 years ago
- ☆13Jun 4, 2026Updated 2 months ago
- Creating a Game for Augmented Reality☆15Dec 30, 2018Updated 7 years ago
- Boyer-Moore search algorithm in Go☆15Apr 6, 2022Updated 4 years ago
- ALICE (Automated Learning and Intelligence for Causation and Economics) is a Microsoft Research project aimed at applying Artificial Inte…☆4,750Updated this week