配置整理好的 hithesis 使用模板
☆19Jun 17, 2021Updated 4 years ago
Alternatives and similar repositories for hithesis-template
Users that are interested in hithesis-template are comparing it to the libraries listed below
Sorting:
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- ☆21Feb 23, 2022Updated 4 years ago
- Lua dialect in rust☆22Jun 17, 2021Updated 4 years ago
- ☆33Apr 14, 2022Updated 3 years ago
- A guide to rust your stm32 microcontroller☆30Jan 8, 2021Updated 5 years ago
- Click to copy equations in Wikipedia☆30Oct 30, 2022Updated 3 years ago
- ☆10Jul 14, 2021Updated 4 years ago
- ☆32Oct 12, 2021Updated 4 years ago
- 🌸 A curated list of Rust code and resources from Hitrust☆36Dec 13, 2020Updated 5 years ago
- Gated CNN☆10Jul 17, 2019Updated 6 years ago
- Code of "Misalignment Correction of Fourier Ptychographic Microscopy", Optics Express, 2018.☆11Nov 12, 2023Updated 2 years ago
- naïve blockchain in Rust☆10Nov 13, 2020Updated 5 years ago
- Calculate distances between strings by how similar they look☆11Jan 28, 2024Updated 2 years ago
- Space-variant point spread function measurement and interpolation at any depth based on single-pixel imaging☆10Feb 19, 2020Updated 6 years ago
- Simple mathematica documentation generator☆11Apr 13, 2019Updated 6 years ago
- ☆11May 9, 2023Updated 2 years ago
- Official implementation of our paper at ACL 2023: Pre-training Multi-party Dialogue Models with Latent Discourse Inference☆10Jul 10, 2023Updated 2 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- https://12k.tech☆12Sep 6, 2020Updated 5 years ago
- An implementation of Marchesini's (2003) shrinkwrap algorithm in Matlab, including an implementation of Fienup's (1982) Hybrid Input-Outp…☆10Oct 27, 2015Updated 10 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Wolfram Function Repository Issue Tracer☆13Sep 10, 2020Updated 5 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Sep 19, 2019Updated 6 years ago
- 🔨 CLI to display followers of GitHub user☆10Jan 12, 2026Updated last month
- 哈工大网络资源汇总☆100Dec 19, 2025Updated 2 months ago
- A Minecraft demo in Haskell ;)☆12Mar 11, 2016Updated 9 years ago
- https://wavelandspeech.github.io/☆10Jan 12, 2024Updated 2 years ago
- ☆16Feb 18, 2025Updated last year
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 6 years ago
- A WIP project.☆17Mar 1, 2026Updated last week
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- ☆11Jun 10, 2022Updated 3 years ago
- 在哈尔滨的一学期，#今天学校解封了吗？☆11Apr 12, 2022Updated 3 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago