MarisaKirisame/DefComBlog external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

MarisaKirisame/DefComBlog

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/MarisaKirisame/DefComBlog)

Close

MarisaKirisame / DefComBlogView on GitHubMore

• External links
• Readme badge

☆12Aug 26, 2022Updated 3 years ago

Alternatives and similar repositories for DefComBlog

Users that are interested in DefComBlog are comparing it to the libraries listed below

• ice1000 / anqur

  View on GitHub
  Elaboration with inductive types
  ☆16Jun 1, 2023Updated 2 years ago
• MarisaKirisame / zombie

  View on GitHub
  Zombie chan revive!
  ☆27Feb 27, 2024Updated 2 years ago
• ProjectDimlight / RuCalculus

  View on GitHub
  入墨答Rumbda, the Chinese expression of lambda calculus
  ☆64Jun 20, 2023Updated 2 years ago
• IzzelAliz / Arcturus

  View on GitHub
  User defined intrinsics, tailrec optimization
  ☆12Nov 26, 2022Updated 3 years ago
• KonjacSource / ShiTT

  View on GitHub
  Deprecated
  ☆39Nov 2, 2025Updated 3 months ago
• anqur / lyzh

  View on GitHub
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Feb 7, 2025Updated last year
• Glavo / kala-common

  View on GitHub
  A powerful, easy-to-use, modern Java core library for the future
  ☆63Jan 17, 2026Updated last month
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 9 years ago
• LaikaBridge / matrix-qq-bridge

  View on GitHub
  My bridge.
  ☆19Dec 27, 2025Updated 2 months ago
• ProjectDimlight / SOL-s-Verilog-Cheatsheet-for-Not-So-Beginners

  View on GitHub
  ☆22May 10, 2022Updated 3 years ago
• rowscript / rowscript

  View on GitHub
  RowScript programming language, making a better browser world
  ☆125Jan 5, 2026Updated last month
• imkiva / valheim

  View on GitHub
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Dec 14, 2022Updated 3 years ago
• with-logic / gpt-5-vs-opus-4-1-coding-examples

  View on GitHub
  GPT-5 and Opus 4.1 implementations of one-shot coding examples
  ☆17Feb 6, 2026Updated 3 weeks ago
• jonnypei / acl23-preadd

  View on GitHub
  ☆12Jul 25, 2023Updated 2 years ago
• LizBing / Uboa-Garbage-Collector

  View on GitHub
  A pauseless garbage collector in C.
  ☆12Jan 5, 2023Updated 3 years ago
• thautwarm / UPL

  View on GitHub
  A compiler for higher rank ML with type classes
  ☆13Aug 29, 2020Updated 5 years ago
• cyyself / m1-pmu-gen

  View on GitHub
  Generate Linux Perf event tables for Apple Silicon
  ☆17Dec 16, 2025Updated 2 months ago
• CarmJos / CarmJos

  View on GitHub
  个人主页介绍与个人文章站源码(Github Pages)。
  ☆13Jul 29, 2024Updated last year
• KirisameMagicShop / kirisamemagicshop.github.io

  View on GitHub
  ☆10May 27, 2025Updated 9 months ago
• kobjects / konsole

  View on GitHub
  A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.
  ☆10Jun 29, 2024Updated last year
• isnthzy / nscscc2024-liangyi

  View on GitHub
  nscscc2024，HPU河南理工大学参赛作品，两仪处理器
  ☆11Aug 24, 2024Updated last year
• mikhail-j / libc_hsearch_r

  View on GitHub
  Portable C standard library re-entrant hash table search functions.
  ☆11Sep 2, 2021Updated 4 years ago
• OSCPU / archbench

  View on GitHub
  ☆11Dec 23, 2025Updated 2 months ago
• Milky2018 / MoonBit-Code-JAM-2024

  View on GitHub
  Tankle Adventure
  ☆16Nov 12, 2024Updated last year
• alextsao1999 / hypermind

  View on GitHub
  A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...
  ☆10Apr 25, 2019Updated 6 years ago
• SchrodingerZhu / memcpy-amd64

  View on GitHub
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Feb 7, 2022Updated 4 years ago
• myokota / qemu-cortex-m3

  View on GitHub
  Cortex-M3 development tree
  ☆15Jan 4, 2015Updated 11 years ago
• msyksphinz-self / minimal-diplomacy

  View on GitHub
  Example of Chisel3 Diplomacy
  ☆11Feb 23, 2022Updated 4 years ago
• dramforever / ixayoi

  View on GitHub
  (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog
  ☆12Sep 9, 2021Updated 4 years ago
• xhawk18 / type_string

  View on GitHub
  useless, just a c++ toy
  ☆10Dec 21, 2014Updated 11 years ago
• wyyqyl / HookQQ

  View on GitHub
  Hook sendto to get the target IP address
  ☆10Apr 24, 2013Updated 12 years ago
• ly0 / rua

  View on GitHub
  Rualang, a python like programming language.
  ☆10Dec 15, 2017Updated 8 years ago
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 3 years ago
• smarr / CSOM

  View on GitHub
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆10Jul 16, 2021Updated 4 years ago
• MichaelSuen-thePointer / mqLinq

  View on GitHub
  yet another linq implementation in C++
  ☆10Jul 22, 2016Updated 9 years ago
• Lakr233 / MAGPIE

  View on GitHub
  喜鹊派员工餐配方存档
  ☆11Jun 13, 2024Updated last year
• 9chu / parser_gen

  View on GitHub
  A LR(1) parser generator targeting C++17.
  ☆13Jul 8, 2020Updated 5 years ago
• 12k-Tech-Group / 12k-Posts

  View on GitHub
  https://12k.tech
  ☆12Sep 6, 2020Updated 5 years ago