Jakub Kopański (jkopanski)

jkopanski

Geek Repo

Location:Warsaw

Github PK Tool:Github PK Tool


Organizations
Perspicuous-Computing

Jakub Kopański's repositories

Language:AgdaStargazers:1Issues:0Issues:0

felix-algebra

Algebraic structures for use with Felix

Language:AgdaStargazers:1Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0

agda-cat-linear

Linear map categories in Agda

Language:AgdaStargazers:0Issues:0Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

denotational-hardware

Denotational hardware design in Agda

Language:AgdaStargazers:0Issues:2Issues:0

felix

Agda category theory library for denotational design

Language:AgdaStargazers:0Issues:0Issues:0
Language:AgdaStargazers:0Issues:0Issues:0
Language:AgdaLicense:MITStargazers:0Issues:1Issues:0

haskell-tree-sitter

Haskell bindings for tree-sitter

Language:HaskellStargazers:0Issues:2Issues:0

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixLicense:Apache-2.0Stargazers:0Issues:0Issues:0

home-manager

Manage a user environment using Nix [maintainer=@rycee]

License:MITStargazers:0Issues:0Issues:0

Kaleidoscope-ModifierLayers

Modifier key layers for Kaleidoscope

Language:C++Stargazers:0Issues:2Issues:0
Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

LoliYul

Compiling to Solidity Yul using linear haskell and SMC

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

madmacs

My yet another attempt at Emacs from scratch

Language:Emacs LispStargazers:0Issues:2Issues:0

miryoku_zmk

Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.

Language:CStargazers:0Issues:1Issues:0
Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:2Issues:0

overture

Yet another TypeScript prelude

Language:TypeScriptStargazers:0Issues:2Issues:0

reStream

Stream your reMarkable screen over SSH.

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

rhine

Haskell Functional Reactive Programming framework with type-level clocks

Stargazers:0Issues:0Issues:0

rose-pine-emacs

Soho vibes for Emacs

Language:Emacs LispStargazers:0Issues:0Issues:0

shajra-keyboards

Nix build/flash tool for a Keyboardio Model 01 or ZSA Technology Labs Ergodox EZ or Moonlander keyboard

License:GPL-3.0Stargazers:0Issues:0Issues:0

talon-nix

Auto packaging for Talon Voice [maintainer=@adisbladis]

Stargazers:0Issues:0Issues:0

zkfold-base

ZkFold's Base library

License:MITStargazers:0Issues:0Issues:0

zmk

ZMK Firmware Repository

Language:CLicense:MITStargazers:0Issues:0Issues:0

zmk-wireless-cnano

Shield and keymap for bastardkb's charybdis nano

Stargazers:0Issues:0Issues:0