jkopanski

jkopanski's Stars

• omelkonian/agda2lambox

  Compiling Agda's internal syntax to λ-box terms.

  Language:Haskell51

• devonjones/OpenForge

  Dwarven forge compatible gaming tiles

  Language:OpenSCAD21448

• lmarzen/esp32-weather-epd

  A low-power E-Paper weather display powered by an ESP32 microcontroller. Utilizes the OpenWeatherMap API.

  Language:C4.9k306

• gavv/om-dash

  Building blocks for org-based dashboards.

  Language:Emacs Lisp1173

• charlesroelli/org-board

  Org mode's web archiver.

  Language:Emacs Lisp28218

• ichernyshovvv/timeblock.el

  Emacs library for visualizing time data

  Language:Emacs Lisp462

• luksamuk/engine-psx

  Open source Sonic The Hedgehog fangame/engine built for the PlayStation 1

  Language:C411

• viktorcsimma/acorn

  An agda2hs-compatible implementation of Krebbers–Spitters reals, focusing on usability.

  Language:Agda1

• lemastero/agda2scala

  Scala 2 and Scala 3 backend for Agda

  Language:Haskell11

• fredins/agda2llvm

  LLVM Backend for Agda

  1

• armindarvish/consult-omni

  A Powerful Versatile Omni Search inside Emacs

  Language:Emacs Lisp1825

• caiorss/org-wiki

  Wiki for Emacs org-mode built on top of Emacs org-mode.

  Language:CSS36733

• rjekker/password-store-menu

  A better, more complete user interface for password-store

  Language:Emacs Lisp201

• black-parrot/black-parrot

  A Linux-capable RISC-V multicore for and by the world

  Language:SystemVerilog644183

• Gabriella439/holepunch

  NixOS configuration for tunneling an inbound SSH connection over an outbound HTTPS connection

  Language:Nix681

• opencompl/lean-mlir

  A minimal development of SSA theory

  Language:Lean10411

• Lameguy64/PSn00bSDK

  The most powerful open source SDK for the PS1 (as far as open source PS1 SDKs go). Not recommended for beginner use.

  Language:C87269

• jbreckmckye/nortis

  Tetris clone for PlayStation 1 (PSX)

  Language:C3614

• meedstrom/eva

  Emacs-based Virtual Assistant

  Language:Emacs Lisp1756

• alexkeizer/QpfTypes

  A WIP definitional (co)datatype package for Lean4

  Language:Lean314

• james-stoup/emacs-org-mode-tutorial

  A primer for users trying to make sense of Org Mode

  Language:Emacs Lisp47517

• FPC5719/Hexdim

  Hexdim (HEXaDeci-Instruction Machine) is an 8-bit CPU built in Haskell-Clash.

  Language:Haskell12

• mazeppa-dev/mazeppa

  A modern supercompiler for call-by-value functional languages

  Language:OCaml3978

• hughperkins/VeriGPU

  OpenSource GPU, in Verilog, loosely based on RISC-V ISA

  Language:SystemVerilog87599

• IgorFroehner/llvm-ssa-to-functional

  Translator from LLVM-IR in SSA form to Haskell

  Language:Haskell10

• haflang/heron

  A special-purpose processor for pure, non-strict functional languages

  Language:Haskell251

• wenkokke/AutoInAgda

  Proof automation – for Agda, in Agda.

  Language:Agda447

• maxsnew/cubical-categorical-logic

  Extensions to the cubical stdlib category theory for categorical logic/type theory

  Language:Agda295

• iwilare/formal-methods

  Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language

  Language:Agda151

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda37468