☆19Jan 7, 2026Updated 10 months ago
Alternatives and similar repositories for kuis-thesis-cover
Users that are interested in kuis-thesis-cover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jan 31, 2026Updated 9 months ago
- A small c compiler in Go☆10Jun 2, 2016Updated 10 years ago
- A library manager for competitive programming☆25Jan 4, 2023Updated 3 years ago
- Deductive verifier for CUDA☆16Dec 19, 2016Updated 9 years ago
- intel を越える☆16Jun 4, 2017Updated 9 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.
- To preserve programs as historical material☆11Apr 14, 2016Updated 10 years ago
- プロコン用ライブラリ☆17Jun 13, 2021Updated 5 years ago
- Yet another ActivityPub server implementation written in OCaml☆50Oct 27, 2026Updated last week
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Dec 3, 2021Updated 4 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated 2 years ago
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Jan 8, 2020Updated 6 years ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 7 years ago
- WWWを再構築するぞ！！！☆15Aug 27, 2018Updated 8 years ago
- bpf-ninja🥷 is a tool that can capture packets before they are processed by XDP/TC/cgroup, while minimizing the impact on existing XDP pr…☆18Updated this week
- 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.
- Haskell x Android☆25Sep 18, 2022Updated 4 years ago
- Library built from scratch to implement zk-protocols☆12Dec 13, 2023Updated 2 years ago
- Japanese text-to-speech using VOICEVOX Core☆12Oct 29, 2026Updated last week
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- Share slack logs☆10May 24, 2015Updated 11 years ago
- Sackerel is integration tool of Mackerel and SakuraCloud☆10Feb 12, 2018Updated 8 years ago
- WebSocket server implementation of OCaml☆14May 14, 2019Updated 7 years ago
- C++ Library for ICPC☆17Sep 17, 2016Updated 10 years ago
- ☆53Jan 17, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆11Dec 20, 2021Updated 4 years ago
- オセロAIの高速な実装☆16Jan 30, 2021Updated 5 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- RD-Gen / RD-Gen+: random DAG generator for multi-rate, conditional (cDAG), and probabilistic (pDAG) DAGs for reproducible scheduling eval…☆16Oct 5, 2026Updated last month
- tools for the book "Concepts of Programming Languages"☆21Apr 12, 2026Updated 6 months ago
- ISO C90のコンパイラ☆32Sep 23, 2016Updated 10 years ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated 2 years ago
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated 10 months ago
- Translate Python and JavaScript into MLIR☆20Aug 27, 2022Updated 4 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.
- Experiment and learn how compilers, linkers and C runtime work cooperatively☆10Jan 31, 2020Updated 6 years ago
- ☆12Nov 2, 2023Updated 3 years ago
- Simple implementation of NVMe Linux usermode driver☆23Feb 1, 2018Updated 8 years ago
- A small Mackerel agent written in C for OpenWrt☆12Jan 22, 2017Updated 9 years ago
- ☆22Jul 31, 2026Updated 3 months ago
- Materials for the class "Implementation of Programming Languages" in Kyoto University.☆171Oct 14, 2026Updated 3 weeks ago
- ☆19Jan 17, 2023Updated 3 years ago