Stars
Исходный код сайта devpraktika.ru
Minimal implementations for dependent type checking and elaboration
Fresh and reliable Telegram MTProto proxies updated automatically every 12 hours. Free, fast, and verified proxy list to bypass censorship and ensure secure Telegram access worldwide.
A fast and powerful log viewer and processor that converts JSON logs or logfmt logs into a clear human-readable format.
Resources for learning Category Theory for an enthusiast
A curated collection of resources for the Boolean Satisfiability Problem (SAT).
A curated list of awesome functional programming jobs.
Standard Go Project Layout
Deduplicating archiver with compression and authenticated encryption.
A super simple Lodash like utility library with essential functions that empowers the development in Go
Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult mona…
A collection of the best resources for programming, web development, computer science and more.
A list of Lisp-flavored programming languages
A gently curated list of companies using Haskell in industry
Scripting React-ive web apps in Clojure without installing it.
A curated list of amazingly awesome open source sysadmin resources inspired by Awesome PHP.