競プロ用ライブラリ
☆15Jun 11, 2022Updated 3 years ago
Alternatives and similar repositories for compelib
Users that are interested in compelib are comparing it to the libraries listed below
Sorting:
- ☆15Apr 8, 2017Updated 8 years ago
- compiler, llvm☆36Jun 25, 2018Updated 7 years ago
- Steamer: presentation in SATySFi☆14May 9, 2019Updated 6 years ago
- ☆13Mar 18, 2021Updated 4 years ago
- SATySFi's package☆13Sep 11, 2019Updated 6 years ago
- A Hobby implementation of ML☆16Dec 19, 2015Updated 10 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Sep 17, 2021Updated 4 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 2 years ago
- An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.☆20Sep 27, 2020Updated 5 years ago
- ChickenClisp is a Scheme like language and interpreter. An Implementation of Orelang in D☆16Oct 3, 2023Updated 2 years ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Sep 15, 2018Updated 7 years ago
- Formal semantics of Rust☆23Apr 9, 2021Updated 4 years ago
- Expression-oriented toy programming language written in Rust☆19Mar 18, 2019Updated 6 years ago
- Command line completion for ddc.vim☆21Sep 3, 2025Updated 6 months ago
- [WIP] Yet another Erlang implementation in Rust☆33Feb 18, 2019Updated 7 years ago
- Awesomium wrapper and WebView GUI library for D programming language.☆18Jan 1, 2016Updated 10 years ago
- Blender用のアニメ髪作成支援アドオン☆25Jul 24, 2024Updated last year
- ☆29Mar 20, 2022Updated 3 years ago
- Lit is a programming language designed fast & light weight with LLVM☆26Mar 15, 2017Updated 8 years ago
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated last year
- Statically typed system programming language for 文鳥☆94Feb 22, 2021Updated 5 years ago
- tools for isucon☆32Sep 20, 2019Updated 6 years ago
- Wrapper library of libclang for Vim script developers.☆35Jun 26, 2018Updated 7 years ago
- Official blog of Haskell-jp.☆32Dec 7, 2025Updated 2 months ago
- The manuscript for The SATySFibook (1st edition for the Web)☆36Aug 27, 2024Updated last year
- Examination Questions in the Dept. of Computer Science and Electronic Engineering.☆11Apr 2, 2025Updated 11 months ago
- simple markdown editor and http server for reveal.js presentation powered by electron☆13Dec 8, 2022Updated 3 years ago
- ☆10Jun 26, 2019Updated 6 years ago
- Teach people to lock their computers when unattended. Set the Background of their device to an embarassing image randomly scraped from th…☆10Apr 19, 2023Updated 2 years ago
- 面函数修复☆10Nov 22, 2018Updated 7 years ago
- textlint rule check unnessary control character in the document.☆14Aug 3, 2024Updated last year
- Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門☆87Feb 15, 2026Updated 2 weeks ago
- Code using GADT☆39Apr 5, 2021Updated 4 years ago
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 4 years ago
- A frontend boilerplate (for me) with Elm, TypeScript and webpack☆10Jun 10, 2020Updated 5 years ago
- C compiler and toolchain.☆11Feb 18, 2017Updated 9 years ago
- 大学1年のころに制作したコマンドプロンプトで動くトランプゲーム(ババ抜き)。☆11Jun 30, 2022Updated 3 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- ☆10Mar 26, 2022Updated 3 years ago