saitouena's Stars
adobe-fonts/source-han-sans
Source Han Sans | 思源黑体 | 思源黑體 | 思源黑體 香港 | 源ノ角ゴシック | 본고딕
justinamiller/SoftwareArchitect
Path to a Software Architect
wtetsu/mouse-dictionary
📘Super fast browser dictionary
kirel/detexify-hs-backend
Detexify Backend written in Haskell
djblue/portal
A clojure tool to navigate through your data.
kirel/detexify
Latex Symbol Classifier Web Frontend
matthewreagan/WebstersEnglishDictionary
Webster's English Dictionary in JSON format, and related Swift parsing utility
joyofclojure/book-source
The source code for "The Joy of Clojure"
clojure/tools.trace
1.3 update of clojure.contrib.trace
ingesolvoll/kee-frame
re-frame with batteries included
coq-community/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
woodrush/lambdalisp
A Lisp interpreter written in untyped lambda calculus
dramforever/vscode-ghc-simple
Simple GHC (Haskell) integration for VSCode
bfontaine/grape
:grapes: Syntax-aware grep-like for Clojure
eprover/eprover
kazu-yamamoto/recursion-drill
Drill to study recursive programming in Haskell
clojureverse/clojurians-log-app
App that displays the logs from Clojurians Slack
nick8325/twee
An equational theorem prover based on Knuth-Bendix completion
andrejbauer/mathematics-and-computation
Andrej Bauer's blog "Mathematics and Computation"
clj-kondo/config
Please use https://github.com/clj-kondo/configs instead
gilith/metis
An automatic theorem prover for first order logic with equality
clj-easy/graal-config
GraalVM native-image configurations distribution for Clojure libraries
PanJarda/pre-frame
1.5 kB Re-frame inspired SPA framework in js with Preact.
liquidz/testdoc
Yet another doctest implementation in Clojure
haskell-rewriting/term-rewriting
Yet another haskell term rewriting library
UniversalAlgebra/UAResources
Links, guidance, and advice about universal algebra learning and research
DeLaGuardo/setup-clj-kondo
ksomemo/Typical-MM
マラソンマッチの練習問題のような何かです.
canhminhdo/cafeobj-vscode-extension
Language CafeOBJ Support for VS Code
bytekid/maedmax