Git Product home page Git Product logo

Hi there, I'm Rob K 🏳️‍🌈

  • 🔭 I’m currently working for Carallon
    • embedded (C, C++)
    • embedded Linux (Buildroot/Yocto)
  • 🌱 I’m currently learning Bluespec SystemVerilog (BSV)
  • 🖮 Side projects

    (Note I allow myself to flit between these as they are only hobby, so I make no promises about ever completing these projects)

    • Coredump on the RP2040 without debugger https://github.com/KoviRobi/pico-bootrom-crashdump
    • Mechanical keyboard
    • Tiny tapeout and BSV
    • Bootstrapping a language with maximal interaction/visibility -- this is an endless time sink, definitely not serious
  • 💬 Ask me about mechanical keyboards, Discworld
  • 🙋 Pronouns: any
  • 📫 How to reach me: email? Leave an issue/PR here?

For a while I was supervising students at Cambridge (St Catharine's College), which I really enjoyed. I supervised

  • Complexity Theory
  • Computation Theory
  • Semantics of Programming Languages
  • Concepts of Programming Languages
  • Foundations of Computer Science
  • Object-Oriented Programming
  • Prolog

I also wrote a register machine emulator and a interactive lambda-calculus interpreter you can click through step by step. The latter is also written in a literate style.

Kovacsics Robert's Projects

acme-lsp icon acme-lsp

Language Server Protocol tools for the acme text editor

acme-mouse icon acme-mouse

Acme mouse-chording for Emacs, originally from akrito/acme-mouse, but since largely rewritten.

bigtreetech-skr-v1.3 icon bigtreetech-skr-v1.3

32bit board with LPC1768, support marlin2.0 and smoothieware, support lcd2004/12864, On-board TMC2130 SPI interface and TMC2208 UART interface no additional wiring is required

burrito icon burrito

Wrap your application in a BEAM Burrito!

cherivis icon cherivis

Tool for exploring CHERI and BERI streamtraces.

clamav icon clamav

ClamAV - Documentation is here: https://docs.clamav.net

clang icon clang

Fork of Clang with CHERI support and capability extensions

connectal icon connectal

Connectal is a framework for software-driven hardware development.

dap-decode icon dap-decode

Simple (incomplete) decoder for the CMSIS-DAP protocol for captures over USB (usbmon)

decide-mode icon decide-mode

Random decisions for emacs, with functions and a minor mode. Roll various types of dice etc.

dircolors-solarized icon dircolors-solarized

This is a repository of themes for GNU ls (configured via GNU dircolors) that support Ethan Schoonover’s Solarized color scheme.

guile-wm icon guile-wm

A Window Manager Toolkit for Guile Scheme

home-manager icon home-manager

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

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.