Like C and C++ but with Dependent Types
☆11Jan 18, 2026Updated 9 months ago
Alternatives and similar repositories for depc
Users that are interested in depc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C++ AVL-tree map/set, list, and queue with a very fast memory pool allocator.☆12Apr 9, 2024Updated 2 years ago
- A tool to sign or resign an existing .NET assembly and update all the references to it.☆15Oct 21, 2015Updated 11 years ago
- Proyecto de búsqueda de personas uruguayas☆15May 1, 2019Updated 7 years ago
- It is open source ebook about TensorFlow kernel and implementation mechanism.☆17Nov 24, 2018Updated 7 years ago
- Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes☆12Updated this week
- 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 in Keras of ShuffleNet (https://arxiv.org/abs/1707.01083)☆19May 10, 2018Updated 8 years ago
- Fast and simple post-hoc EMA (Karras et al., 2023) for PyTorch with minimal `.item()` calls. ~78% lower overhead than ema_pytorch.☆13Nov 2, 2024Updated 2 years ago
- DekTec linux driver releases☆14Sep 28, 2026Updated last month
- A "Sid Meier's Colonization" reverse-engineering project☆11Aug 30, 2026Updated 2 months ago
- The ZIMH simulators package☆11Oct 27, 2026Updated last week
- LuaSTG Evo, a Cross-Platform version of the LuaSTG engine.☆10Oct 18, 2025Updated last year
- Implementation of Inverse Autoregressive Flows with Keras☆19Mar 27, 2017Updated 9 years ago
- Sets of rules designed for Adblock that automatically remove unwanted ads from Uruguayan sites.☆13Jun 2, 2021Updated 5 years ago
- Visualizations of Reinforcement Learning concepts including Value Iteration and Q-Learning☆18Jan 1, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LuaSTG Editor Sharp X is a clone/fork of LuaSTG Editor Sharp aimed towards improving the original with new functions and altered behaviou…☆10Aug 23, 2026Updated 2 months ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Fall 2025☆12Dec 3, 2025Updated 11 months ago
- This simulation of a car uses steering angle predictions from a convolutional neural network, this is also called end-to-end learning. It…☆21Apr 28, 2017Updated 9 years ago
- Juice your .NET Expression Trees for everything they've got!☆15Jun 25, 2018Updated 8 years ago
- Binary Data Widget for ratatui☆18Oct 31, 2026Updated last week
- A module of thprac, adding support to the first five Touhou games.☆10Updated this week
- Scripting framework to extract and analyze Touhou game data for score players and anyone looking for insight!☆15Sep 8, 2026Updated 2 months ago
- Header-only library for reading/saving configuration files with schema defined in sources☆11Nov 16, 2024Updated last year
- Game Boy Assembly Programming☆19Mar 12, 2019Updated 7 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.
- Simple plugin to interact with twitch IRC and pubsub from Unreal Engine 5.3☆13Jun 7, 2024Updated 2 years ago
- A const-propagating member-pointer-wrapper for the C++ standard library☆20Oct 18, 2023Updated 3 years ago
- ☆15Oct 30, 2026Updated last week
- 🚀 Vim snippets for https://github.com/tommybennett/algorithm-mnemonics☆10Aug 10, 2020Updated 6 years ago
- Neovim Plugin to show in a popup the assembler code for the current line in a C file☆12Sep 29, 2021Updated 5 years ago
- 花AI塚は東方花映塚のAIを自作できるツールです。☆12Nov 22, 2019Updated 6 years ago
- Finally we find that python has invaded Touhou☆12Oct 15, 2026Updated 3 weeks ago
- A lightweight and heap-free polymorphic function wrapper collection. (similar to std::function)☆19Updated this week
- Windows overlay FS explorations☆26Dec 7, 2015Updated 10 years ago
- 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.
- A multi-game Touhou bot using EmguCV for image processing.☆11Dec 29, 2017Updated 8 years ago
- A Keras implementation of Neural Arithmatic and Logical Unit☆27Aug 16, 2018Updated 8 years ago
- 🍒 Rust - Experimental port of Rust to CHERI architectures☆18Updated this week
- Yocto layer for i.MX FRDM boards☆17Jun 27, 2025Updated last year
- A tool that tracks in-game data such as misses, bombs, etc, thus calculating DRC points for both survival and scoring during a Touhou run…☆12Jul 13, 2022Updated 4 years ago
- IEC104 Client for Metasploit☆11Aug 6, 2018Updated 8 years ago
- Multi-turn Injection Planning System for LLM Evaluation☆18Oct 1, 2026Updated last month