☆12Jan 31, 2026Updated last month
Alternatives and similar repositories for kuisthesis-template
Users that are interested in kuisthesis-template are comparing it to the libraries listed below
Sorting:
- ☆19Jan 7, 2026Updated last month
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Jan 8, 2020Updated 6 years ago
- DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning☆24Apr 17, 2021Updated 4 years ago
- Black-box extraction of Finite-State Machines from RNNs.☆22Apr 14, 2022Updated 3 years ago
- End-to-end MOdeling of ASR (Automatic Speech Recognition)☆33Feb 16, 2023Updated 3 years ago
- Open Source Reinforcement Learning Framework for Routing and Spectrum Assignment☆10Mar 18, 2021Updated 4 years ago
- probabilistic logic programming language for statistical modeling☆38Dec 30, 2025Updated 2 months ago
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆27Jun 4, 2025Updated 8 months ago
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated 10 months ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- WebRTCを使ってブラウザ間通信を行うオンセツール ユドナリウムの変更版ユドナリウムリリィです☆18Jan 22, 2026Updated last month
- ☆16Nov 8, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- ☆11Nov 10, 2025Updated 3 months ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated last year
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- A library for lattice-based homomorphic encryption in Go☆14May 15, 2022Updated 3 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- ☆12Feb 15, 2026Updated 2 weeks ago
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 4 years ago
- ☆11Jun 28, 2022Updated 3 years ago
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Dec 3, 2021Updated 4 years ago
- A python library which simplifies creating and exporting videos.☆11Oct 1, 2023Updated 2 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
- Yet another ActivityPub server implementation written in OCaml☆49Dec 25, 2025Updated 2 months ago
- 将棋の棋譜ファイルの構文に色を付けるEmacs用のモード☆12Jan 28, 2024Updated 2 years ago
- Dynex has also developed a proprietary circuit design, the Dynex Neuromorphic Chip, that complements the Dynex ecosystem and turns any mo…☆15May 26, 2023Updated 2 years ago
- Skeleton (but pronounced like Peloton): A Zero-Click RCE exploit for CVE-2021-0326☆20Mar 16, 2022Updated 3 years ago
- Experimental port of the TFHE fully homomorphic encryption scheme to Rust.☆12Aug 15, 2022Updated 3 years ago
- A modular library for designing and optimising homomorphic encryption schemes☆24Feb 6, 2026Updated 3 weeks ago
- Chisel Fixed-Point Arithmetic Library☆18Dec 15, 2025Updated 2 months ago
- Go x MySQL x DockerなAPIサーバー☆11Feb 9, 2023Updated 3 years ago
- 『StanとRでベイズ統計モデリング』のPython/Pyroによる再現実装☆18Jan 31, 2019Updated 7 years ago
- ☆11Sep 29, 2021Updated 4 years ago
- Memory Compiler Tutorial☆14Aug 2, 2022Updated 3 years ago
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆12Nov 10, 2025Updated 3 months ago
- ADRSIR(ビットトレードワン製赤外線送受信機) 用のライブラリ☆15Aug 23, 2020Updated 5 years ago
- Aspect-oriented programming in Rust☆13Nov 1, 2021Updated 4 years ago
- A toy shell written in Rust☆11Oct 27, 2022Updated 3 years ago