Lars Tveito

nixlaptop. Sandboxing nixos on my laptop - no commit messages where harmed in the making of this repo.

maude-x. A partial implementation of the X Window protocol in the Maude rewriting logic engine.

nix-rosetta-builder. Nix

ant_simulator. Svelte page for simulating Langont's ant, especially focused on symmetrical ants

shade-eval-print-loop. SEPL. Inspired by Shadertoy, but powered by Scheme for settings. Dynamically set textures, variables, and other logic that affects the execution.

Psnodig. A general transpiler with options for pseudocode and flowcharts

repl. I just really wanted to make a repl

terminal-sudoku. Sudoku played in a unix terminal, written in c.

hkleiros.github.io. A small website

texlish. Better LaTeX that compiles to LaTeX

virtuoso. Tools for musicians to practice more efficiently

nixpkgs. Nix Packages collection & NixOS

babashka. Native, fast starting Clojure interpreter for scripting

.emacs.d. Sophie's Emacs configuration

qmk_keymaps. My QMK keymaps

word-ladder. Word Ladder Designer

terminal-tetris-cpp. Tetris for unix terminal, written in c++.

nixos-config. My nixos configuration for laptop

emacs-cody. Sourcegraph Cody in Emacs

replicant. A data-driven rendering library for Clojure(Script) that renders hiccup to DOM or to strings.

virtual-auto-fill. An Emacs package to readably display unfilled text without modifying it

matematisk-ordliste. Matematisk ordliste

wiretap. A Clojure library for adding generic trace support without having to modify code.

9m. 9m Unicode URL Shortener

maria. A ClojureScript coding environment for beginners.

Algorust. Various algorithms visualized interactively on the web, entirely with Rust 🦀

CCDetect-lsp. Language-agnostic real-time duplicate code detection LSP server

bqn-mode. Emacs mode for BQN programming language

.emacs.d. My Emacs configuration.

algorithmica. A computer science textbook

smilefjes.el. Emacs package to check the Norwegian Mattilsynets report on restaurant cleanliness, hygienic factors etc.

nix-darwin-dotfiles. Dotfiles managed via Nix-Darwin and Mk-Darwin-System, for schoolwork and kotlin, lua, and rust programming

CreuSAT. CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

shortcuts. En liten samling editorshortcuts som jeg hvert fall skulle ønske jeg begynte å bruke tidligere 🤠

nano-emacs. GNU Emacs / N Λ N O - Emacs made simple

sd. a cozy nest for your scripts

dumdom. Efficiently render and re-render immutable data

trainer. trainer.dundring.com is a free and open source in-browser training application created to control and track your training with a smart bike trainer⚡️

master-thesis. Three-Way Semantic Merge for Feature Model Evolution Plans

nannou. A Creative Coding Framework for Rust.

slider-app. Elm

unison. A friendly programming language from the future

LTEP-summer-project.

md-tangle. Generates ("tangles") source code from Markdown documents

snek. See https://github.com/inconvergent/weir instead

Connection-Prover. A connection based first order logic prover written in Haskell.

multiple-cursors-functions. An atom package that adds more functions for multiple cursors

quil. Main repo. Quil source code.

pollen. book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]

nyxt. Nyxt - the hacker's browser.

fui-kk. Course evaluation software for courses in informatics at the University of Oslo.

proper. Python

emacs.dz. Awesome emacs config files

re-natal. Bootstrap ClojureScript React Native apps

uiothesis. Project website for my Master Thesis, submitted in May 2016 at the University of Oslo

graphviz2dtrace. Produce DTrace monitoring scripts from graphviz-encoded automata

dotjs. ~/.js

til. Today I learned – Inspired by https://github.com/jbranchaud/til

universaltm. En turingmaskinsimulator til bruk i kurset INF2080 på Universitetet i Oslo

spring-challenge16. Repository for MAPS Spring Challenge, 2016

org-ref. org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

maude-mode. Emacs Lisp

setup. Ansible scripts for quickly getting a new developer machine up and running

devilry-mode. An Emacs plugin for teachers, making feedback better and easier

Rich-Hickey-fanclub. "every time I watch one of his talks I feel like someone has gone in and organized my brain"

intro-konkurranseprog. Oppgaver og slides til introkurs i konkurranseprogrammering

dagens_ifi. Deprecated - Check today's dinner at IFI with the command line

exwm. Emacs X Window Manager

olivetti. Emacs minor mode to automatically balance window margins

md5. Toy implementation of MD5 algorithm in Haskell.

lein-figwheel. Figwheel builds your ClojureScript code and hot loads it into the browser as you are coding!

define-word. Display the definition of word at point in Emacs

belang. Scheme

org-html-themes. Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design

dotfiles. [DEPRECATED] Vim, tmux, OS X, zsh

dash.el. A modern list library for Emacs

dot-emacs. Emacs Lisp

the_silver_searcher. A code-searching tool similar to ack, but faster.

company-mode. Modular in-buffer completion framework for Emacs

js-assessment. A test-driven approach to assessing JS skills

org-ruby. This gem contains Ruby routines for parsing org-mode files. The most significant thing this library does today is convert org-mode files to HTML or textile.

sonic-pi. Code. Music. Live.

spillbok. En bok om å lage dataspill

MPC-V15. Python

org-ioslide. Export org-mode to Google I/O HTML5 slide.

dtrace-foredrag-2015. A presentation on DTrace held for MAPS at UiO, 2015-02-25

cljsfiddle. JavaScript

clojurescript-examples. ClojureScript Examples

matasano-crypto-challenges. Solutions to the Matasano Crypto Challenges

memo. An implementation of the classic Memory/Concentration-game in plain HTML, JavaScript and CSS.

projectile. Project Interaction Library for Emacs

clojure. The Clojure programming language

pifs. πfs - the data-free filesystem!

HomeAutomation. A little project to monitor sensors around the house, storing them in a database and displaying them with a web interface.

pdf-tools. Emacs support library for PDF files.

emacs-leuven-theme. This Emacs theme reduces eye strain with a light, high-contrast color scheme, syntax highlighting, and support for multiple modes. Enhance your coding experience! #emacs #theme #coding #orgmode

esup. ESUP - Emacs Start Up Profiler

melpa. Recipes and build machinery for the biggest Emacs package repo

.emacs.d. Personal Emacs configurations

programming-language-subreddits-and-their-choice-of-words. How do the different communities talk?

doconce. Lightweight markup language - document once, include anywhere

oslo-bysykkel. Firefox OS app for viewing the current status of Oslo city bikes

1510-arduino. Arduino code for INF1510 project (User-oriented design)

devilry-cliscripts. Devilry command-line scripts

SchemeUnitTest. Functional Programming Course at UiO

informativ. Processing

wisp. small-but-featureful embeddable lisp interpreter written in haskell.

multiple-cursors.el. Multiple cursors for emacs.