lvzixun / A2View external linksLinks
alex 2.0
☆37Nov 28, 2016Updated 9 years ago
Alternatives and similar repositories for A2
Users that are interested in A2 are comparing it to the libraries listed below
Sorting:
- Lightweight wrapper for epoll.☆21Oct 2, 2024Updated last year
- ☆13Jul 10, 2019Updated 6 years ago
- Hello guyzz. i am developed this beautiful site with HTML & CSS . Please GIve Me a Star for My Efforts to make this project.☆16May 20, 2022Updated 3 years ago
- HashiCorp Vault Connector for Mule 4☆12May 23, 2024Updated last year
- lua profile☆40Jul 21, 2025Updated 6 months ago
- A pure C# implementation of sproto.☆155Aug 3, 2020Updated 5 years ago
- 計算機結構 -- Nand2tetris Part I (金門大學 / 資訊工程系 106 上學期 )☆12Dec 21, 2017Updated 8 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- ☆10May 2, 2023Updated 2 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Easier way to use reflect to set and get values in Go☆14Jul 24, 2024Updated last year
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Detect size & format of image file☆10Apr 12, 2022Updated 3 years ago
- a steady descent into madness☆17Jun 22, 2025Updated 7 months ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 10 years ago
- notes, config, tools, etc. for kicking the tires on cockroachdb☆11Apr 8, 2025Updated 10 months ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- An imperative, statically-typed toy language☆12May 5, 2019Updated 6 years ago
- A somewhat better Lua indent script for Vim☆12Mar 13, 2022Updated 3 years ago
- Go tool to connect to websocket for sending and receiving messages and load testing.☆10Dec 20, 2025Updated last month
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- Mbed TLS module for Lua☆12Jun 27, 2022Updated 3 years ago
- Repository containing the resources I create/collect to run reading group sessions.☆12Feb 23, 2025Updated 11 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Kuroshimu is a procedural black box investigation game: guess what happened to 6 persons trapped by a cute journalist dog in an endlessly…☆10May 20, 2025Updated 8 months ago
- Prometheus metric library for skynet written in Lua☆11Dec 26, 2020Updated 5 years ago
- Demo SoC☆10Oct 17, 2023Updated 2 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Mar 29, 2023Updated 2 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- Go implementation of MurmurHash3☆13Jun 3, 2013Updated 12 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Go eBPF Library☆12Jul 9, 2016Updated 9 years ago
- 中英文敏感词、语言检测、中外手机/电话归属地/运营商查询、名字推断性别、手机号抽取、身份证抽取、邮箱抽取、中日文人名库、中文缩写库、拆字词典、词汇情感值、停用词、反动词表、暴恐词表、繁简体转换、英文模拟中文发音、汪峰歌词生成器、职业名称词库、同义词库、反义词库、否定词库、汽…☆10May 8, 2019Updated 6 years ago