Ondřej Šebek (xsebek)

xsebek

Geek Repo

Location:Brno, Czech Republic

Github PK Tool:Github PK Tool


Organizations
swarm-game

Ondřej Šebek's starred repositories

quickcheck

Automatic testing of Haskell programs.

Language:HaskellLicense:NOASSERTIONStargazers:13Issues:0Issues:0

hoff

A gatekeeper for your commits

Language:HaskellLicense:Apache-2.0Stargazers:41Issues:0Issues:0

adwaita-swift

A framework for creating user interfaces for GNOME with an API similar to SwiftUI

Language:SwiftLicense:MITStargazers:777Issues:0Issues:0

monoidmap

Monoidal map type with support for semigroup and monoid subclasses.

Language:HaskellLicense:Apache-2.0Stargazers:15Issues:0Issues:0

iris

🌈 Haskell CLI Framework supporting Command Line Interface Guidelines

Language:HaskellLicense:MPL-2.0Stargazers:175Issues:0Issues:0

conan

Conan - The open-source C and C++ package manager

Language:PythonLicense:MITStargazers:8076Issues:0Issues:0

conan-center-index

Recipes for the ConanCenter repository

Language:PythonLicense:MITStargazers:940Issues:0Issues:0

pics

File formats dissections and more...

Language:AssemblyStargazers:10433Issues:0Issues:0
Language:HaskellLicense:CC-BY-4.0Stargazers:60Issues:0Issues:0

guardian

guardian - the border guardian for your Haskell monorepo package dependencies

Language:HaskellLicense:NOASSERTIONStargazers:35Issues:0Issues:0

extremely-linear

Extremely Linear Git History // git-linearize

Language:ShellLicense:MITStargazers:512Issues:0Issues:0

adventofcode

Holiday hacking because I'm a nerd

Language:RustLicense:Apache-2.0Stargazers:6Issues:0Issues:0

lexy

C++ parsing DSL

Language:C++License:BSL-1.0Stargazers:987Issues:0Issues:0

tart

Tart - draw ASCII art in the terminal with your mouse!

Language:HaskellLicense:BSD-3-ClauseStargazers:379Issues:0Issues:0

tagref

Tagref helps you manage cross-references in your code.

Language:RustLicense:NOASSERTIONStargazers:178Issues:0Issues:0

english-words-py

Sets of English words to use in Python scripts/programs

Language:PythonLicense:MITStargazers:30Issues:0Issues:0

agg

asciinema gif generator

Language:RustLicense:Apache-2.0Stargazers:1146Issues:0Issues:0

terminalizer

🦄 Record your terminal and generate animated gif images or share a web player

Language:JavaScriptLicense:MITStargazers:15201Issues:0Issues:0

github-release

:octocat: Upload files to GitHub releases.

Language:HaskellLicense:MITStargazers:102Issues:0Issues:0

rampart

:european_castle: Determine how intervals relate to each other.

Language:HaskellLicense:MITStargazers:77Issues:0Issues:0

purebred

A terminal based mail user agent based on notmuch

Language:HaskellLicense:AGPL-3.0Stargazers:139Issues:0Issues:0

awesome-cabal

💫 A curated list of awesome resources for the Haskell Cabal build tool.

License:CC0-1.0Stargazers:117Issues:0Issues:0

policeman

👮 Haskell PVP adviser

Language:HaskellLicense:MPL-2.0Stargazers:69Issues:0Issues:0

todo-to-issue-action

Action that converts TODO comments to GitHub issues on push.

Language:PythonLicense:MITStargazers:594Issues:0Issues:0

timestats

A library to profile time in a Haskell program

Language:HaskellLicense:BSD-3-ClauseStargazers:17Issues:0Issues:0

dr-cabal

📊 Haskell dependencies build times profiler

Language:HaskellLicense:MPL-2.0Stargazers:73Issues:0Issues:0

rnix-lsp

WIP Language Server for Nix! [maintainer=@aaronjanse]

Language:RustLicense:MITStargazers:699Issues:0Issues:0

tpg

Tree Proof Generator

Language:JavaScriptLicense:GPL-3.0Stargazers:149Issues:0Issues:0

expected

P0323 & P2505 std::expected simple implementation

Language:C++License:MITStargazers:39Issues:0Issues:0

linear-builder

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

Language:HaskellLicense:BSD-3-ClauseStargazers:88Issues:0Issues:0