saitouena

saitouena's Stars

• adobe-fonts/source-han-sans

  Source Han Sans | 思源黑体 | 思源黑體 | 思源黑體 香港 | 源ノ角ゴシック | 본고딕

  14.3k3995041.3k

• justinamiller/SoftwareArchitect

  Path to a Software Architect

  8.7k2640780

• wtetsu/mouse-dictionary

  📘Super fast browser dictionary

  Language:TypeScript995196359

• kirel/detexify-hs-backend

  Detexify Backend written in Haskell

  Language:Haskell88126140

• djblue/portal

  A clojure tool to navigate through your data.

  Language:Clojure872187481

• kirel/detexify

  Latex Symbol Classifier Web Frontend

  Language:CSS797161051

• matthewreagan/WebstersEnglishDictionary

  Webster's English Dictionary in JSON format, and related Swift parsing utility

  Language:Swift408174107

• joyofclojure/book-source

  The source code for "The Joy of Clojure"

  Language:Clojure39827260

• clojure/tools.trace

  1.3 update of clojure.contrib.trace

  Language:Clojure35835037

• ingesolvoll/kee-frame

  re-frame with batteries included

  Language:Clojure354129426

• coq-community/awesome-coq

  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

  304141219

• woodrush/lambdalisp

  A Lisp interpreter written in untyped lambda calculus

  Language:Common Lisp2263310

• dramforever/vscode-ghc-simple

  Simple GHC (Haskell) integration for VSCode

  Language:TypeScript223127315

• bfontaine/grape

  :grapes: Syntax-aware grep-like for Clojure

  Language:Clojure1505123

• eprover/eprover

  Language:C1299024

• kazu-yamamoto/recursion-drill

  Drill to study recursive programming in Haskell

  Language:Haskell12717110

• clojureverse/clojurians-log-app

  App that displays the logs from Clojurians Slack

  Language:Clojure84106520

• nick8325/twee

  An equational theorem prover based on Knuth-Bendix completion

  Language:Haskell496412

• andrejbauer/mathematics-and-computation

  Andrej Bauer's blog "Mathematics and Computation"

  Language:Mathematica471035

• clj-kondo/config

  Please use https://github.com/clj-kondo/configs instead

  Language:Clojure334610

• gilith/metis

  An automatic theorem prover for first order logic with equality

  Language:Standard ML301111

• clj-easy/graal-config

  GraalVM native-image configurations distribution for Clojure libraries

  Language:Clojure29302

• PanJarda/pre-frame

  1.5 kB Re-frame inspired SPA framework in js with Preact.

  Language:JavaScript29300

• liquidz/testdoc

  Yet another doctest implementation in Clojure

  Language:Clojure26400

• haskell-rewriting/term-rewriting

  Yet another haskell term rewriting library

  Language:Haskell18776

• UniversalAlgebra/UAResources

  Links, guidance, and advice about universal algebra learning and research

  90

• DeLaGuardo/setup-clj-kondo

  Language:JavaScript8123

• ksomemo/Typical-MM

  マラソンマッチの練習問題のような何かです．

  Language:Java5200

• canhminhdo/cafeobj-vscode-extension

  Language CafeOBJ Support for VS Code

  22

• bytekid/maedmax

  Language:OCaml1422