☆81Mar 6, 2018Updated 8 years ago
Alternatives and similar repositories for wiki
Users that are interested in wiki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Apr 17, 2017Updated 9 years ago
- Go emulator for MOS 6502☆13Oct 27, 2026Updated last week
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Scala classpath scanner☆11Jul 5, 2025Updated last year
- Programming Language Theory λΠ☆5,372Dec 2, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- purescript-react wrappers for map gl☆12Mar 8, 2023Updated 3 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Jun 3, 2022Updated 4 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆79May 29, 2020Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆73Feb 5, 2020Updated 6 years ago
- A simple example of rediscala☆14Jan 3, 2016Updated 10 years ago
- Z3 webpage repository☆10Updated this week
- Comparing many FRP implementations by reimplementing the same toy app in each.☆494Apr 2, 2022Updated 4 years ago
- Where my everyday research happens☆58Jul 28, 2026Updated 3 months ago
- Resume (template) written in Typst☆11Aug 13, 2026Updated 2 months 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.
- Working samples of JSCover☆12Oct 19, 2025Updated last year
- An elegant and rich cross-platform HTTP library for Dart.☆10Jan 20, 2017Updated 9 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 6 years ago
- Resources for the online Type Theory Study Group☆164Feb 2, 2018Updated 8 years ago
- Haskell Group Community >>= Haskell 中文社区。☆16Mar 19, 2021Updated 5 years ago
- A forge for lunar instruments☆11Dec 20, 2024Updated last year
- History-Driven Test Program Synthesis for JVM Testing☆10Nov 12, 2021Updated 4 years ago
- History of type theory (Chinese).☆359May 25, 2025Updated last year
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 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.
- Haskell Bazel rules and cabal2bazel import tool.☆43Apr 16, 2021Updated 5 years ago
- Example project of using cabal 2.0`s foreign-library feature to build a haskell library that lets you call haskell code from C/C++.☆17Feb 22, 2020Updated 6 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- 0-unsafe Linked HashMap☆13Jun 30, 2020Updated 6 years ago
- Deleted, use built_value instead.☆15Nov 22, 2016Updated 9 years ago
- 给llvm17.0.6添加一个新后端Cpu0☆12Apr 22, 2024Updated 2 years ago
- MQTT Client SDK for objective-c☆14Jul 12, 2012Updated 14 years ago
- ☆21May 9, 2017Updated 9 years ago
- Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)☆12Nov 22, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Local server storage media played by mediaplayer android.☆12Sep 10, 2013Updated 13 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 4 years ago
- Lightweight threads for Java, with message passing, nio, http and scheduling support.☆17Oct 10, 2014Updated 12 years ago
- An experimental typed version of the Rosette language☆13Aug 6, 2018Updated 8 years ago
- 用作文档目的，翻译方式见 Issue #10☆40Apr 1, 2019Updated 7 years ago
- 基于TensorFlow官方Android端示例，对选择的图片进行风格迁 移☆11Apr 9, 2017Updated 9 years ago
- Read, process and write WAV files with Elixir.☆10Mar 28, 2018Updated 8 years ago