- Kyiv, Ukraine
Block or Report
Block or report ulidtko
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
cabal-doctest Public
A Setup.hs shim for running doctests
-
versioned-configs Public
Naming dotfiles as "versioned-configs" before it was cool
-
haskell-case-insensitive Public
Forked from basvandijk/case-insensitiveCase insensitive string comparison
Haskell Other UpdatedMay 13, 2024 -
esqueleto Public
Forked from bitemyapp/esqueletoNew home of Esqueleto, please file issues so we can get things caught up!
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 1, 2024 -
loki Public
Forked from grafana/lokiLike Prometheus, but for logs.
Go GNU Affero General Public License v3.0 UpdatedMar 14, 2024 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedMar 11, 2024 -
agda-pythagoras Public
Forked from ikedaisuke/PythagorasA proof of Pythagoras's theorem in Agda2 (from the original proof by Thierry Coquand)
1 UpdatedMar 3, 2024 -
security-advisories Public
Forked from haskell/security-advisoriesHaskell Other UpdatedFeb 27, 2024 -
haskell-stack-builder Public
Unprivileged/rootless Docker Image for building Haskell projects with Stack without Nix
-
atom-language-idris Public
Forked from idris-hackers/atom-language-idrisA Idris Mode for Atom.io
-
true-name Public
Forked from liyang/true-nameTemplate Haskell hack to violate another module's abstractions
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 15, 2024 -
shellcheck Public
Forked from koalaman/shellcheckShellCheck, a static analysis tool for shell scripts
Haskell GNU General Public License v3.0 UpdatedNov 9, 2023 -
LanguageClient-neovim Public
Forked from autozimu/LanguageClient-neovimLanguage Server Protocol (LSP) support for vim and neovim.
Rust MIT License UpdatedOct 31, 2023 -
relude Public
Forked from kowainik/relude🌀 Safe, performant, user-friendly and lightweight Haskell standard library
Haskell MIT License UpdatedOct 26, 2023 -
mjseating-mercury Public
🀄 Mahjong seating (tournament grid) generator in Mercury
-
urwid Public
Forked from urwid/urwidConsole user interface library for Python (official repo)
Python GNU Lesser General Public License v2.1 UpdatedSep 27, 2023 -
lezer-parser-hamlet Public
Forked from lezer-parser/htmlParser for Hamlet (Yesod's HTML DSL) in Codemirror's Lezer
JavaScript MIT License UpdatedSep 21, 2023 -
-
hlint Public
Forked from ndmitchell/hlintHaskell source code suggestions
Haskell Other UpdatedSep 19, 2023 -
-
parsec Public
Forked from haskell/parsecA monadic parser combinator library
Haskell Other UpdatedSep 11, 2023 -
bytestring Public
Forked from haskell/bytestringAn efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Haskell Other UpdatedSep 11, 2023 -
aws-lambda-haskell-runtime Public
Forked from theam/aws-lambda-haskell-runtime⚡Haskell runtime for AWS Lambda
Haskell Other UpdatedAug 29, 2023 -
jwt_tool Public
Forked from ticarpi/jwt_tool🐍 A toolkit for testing, tweaking and cracking JSON Web Tokens
Python GNU General Public License v3.0 UpdatedApr 12, 2023 -
multibootusb Public
Forked from hackerncoder/multibootusbA collection of GRUB files and scripts that will allow you to create a pendrive capable of booting different ISO files
-
-
freecad.frametools Public
Forked from looooo/freecad.frametoolsbeams and frames
Python GNU Lesser General Public License v2.1 UpdatedOct 23, 2022 -
libharu Public
Forked from libharu/libharulibharu - free PDF library
C zlib License UpdatedJun 13, 2022 -
aurpublish Public
Forked from eli-schwartz/aurpublishPKGBUILD management framework for the Arch User Repository
-
cryptol.vim Public
Forked from victoredwardocallaghan/cryptol.vimA ViM plugin for the Cryptol programming language.
Vim Script Other UpdatedAug 23, 2021