pogin503

pogin503's Stars

• lean-ja/fp-lean-ja

  Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

  Language:Lean52

• lean-ja/lean99

  These are Lean translations of Ninety-Nine Haskell Problems (WIP)

  Language:Lean12

• iehality/lean4-logic

  Lean4 Logic Formalization

  Language:Lean474

• nomeata/loogle

  Mathlib search tool

  Language:Lean495

• Devographics/locale-ja-JP

  24

• aconite-ac/how_to_install_lean

  Leanのインストール方法・elanとLakeの使い方

  Language:JavaScript41

• uemurax/hott-ja

  HoTT in Japanese

  Language:Racket321

• haskell/criterion

  A powerful but simple library for measuring the performance of Haskell code.

  Language:Haskell49787

• douo/magit-gptcommit

  Magit commit with help of gpt

  Language:Emacs Lisp273

• rolandwalker/ignoramus

  Ignore backups, build files, et al. in Emacs

  Language:Emacs Lisp163

• erg-lang/erg

  A statically typed language compatible with Python

  Language:Rust2.6k53

• MisskeyIO/misskey

  🌎 A federated blogging platform 🚀

  Language:TypeScript1257

• misskey-dev/misskey

  🌎 An interplanetary microblogging platform 🚀

  Language:TypeScript9.6k1.3k

• battlelinegames/ArtOfWasm

  Code repo for "The Art of WebAssembly" by Rick Battagline

  Language:WebAssembly598

• k-ayaki/benizara

  Yet another NICOLA Emulaton Software

  Language:AutoHotkey254

• chuntaro/toy-byte-code.el

  Emacs byte-code interpreter implemented in Emacs Lisp

  Language:Emacs Lisp5

• obsproject/obs-studio

  OBS Studio - Free and open source software for live streaming and screen recording

  Language:C57.2k7.7k

• jart/emacs-copilot

  Large language model code completion for Emacs

  Language:Emacs Lisp66318

• ttsuki/styleguide

  Google C++ Style Guideを日本語に訳しているリポジトリ

  Language:HTML317

• oowl/quicssh-rs

  QUIC proxy that allows to use QUIC to connect to an SSH server without needing to patch the client or the server.

  Language:Rust1617

• pglen/libgcrypt_samples

  Samples for the libgcrypt library. Keygen / Encrypt / Decrypt

  Language:C61

• zick/Magical-Language-Lyrical-Lisp

  A Lisp tutorial game

  745

• YujiSoftware/java_spec_diff

  The Java Language Specification diffs

  9

• mtoyoda/sl

  SL(1): Cure your bad habit of mistyping

  Language:C2.9k423

• lean-ja/lean-by-example

  コード例で学ぶ Lean 言語

  Language:Lean155

• fenril058/satysfi-mode.el

  An Emacs major mode for SATySFi

  Language:Emacs Lisp11

• nimble-code/Spin

  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

  Language:C340126

• sasagawa888/eisl

  ISLisp interpreter/compiler

  Language:Common Lisp25922

• json-emacs/json-mode

  Major mode for editing JSON files with emacs

  Language:Emacs Lisp31266

• joaotavora/eglot

  A client for Language Server Protocol servers

  Language:Emacs Lisp2.2k203