necto

dotfiles

My dotfiles

lsp-sonarlint

lsp-mode :heart: sonarlint

cpp-demo

doomemacs

An Emacs framework for the stubborn martian hacker

STeLLAR

STeLLAR: Open-source framework for serverless clouds benchmarking

vHive

vHive: Open-source framework for serverless experimentation

nyxt

Nyxt - the hacker's browser.

unison

A friendly programming language from the future

remacs

Rust :heart: Emacs

organice

An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers

mipt-mips

Cycle-accurate pre-silicon simulator of RISC-V and MIPS CPUs

stepfunctions2processing

Configuration with AWS step functions and lambdas which initiates processing from activity state

baproj

lambda-packs

Precompiled packages for AWS Lambda

yi

The Haskell-Scriptable Editor

verifast

Research prototype tool for modular formal verification of C and Java programs

yalo

Lisp OS running on bare metal x86-64 hardware (WIP)

restas

Common Lisp web framework

cl-restas-eshop

cl-graphviz

Adaptaion of an outdated cl-graphviz by Attila Lendvai to the modern version of libgvc.so.6.

archtoys

2 architectures 2 simulators, a compiler and a binary translator. MIPT students group

percl

A light persistent system for common lisp

famgraph

A genealogy tree viewer and redactor

GraphServer

GraphServer for Haskell code visualization

natty

Natty is for listening and searching music.

natty

Natty is for listening and searching music.