onsah
Software Engineer likes Functional programming. Works on programming language implementations in his free time.
Bilkent University
Pinned Repositories
cytoscape.js-layout-utilities
Miscellaneous utilities for placement of nodes or components complementary to a main layout algorithm
conecto
Integrate your Android-phone with your PC - a GTK client for KDEConnect.
Elementary_QR
QR generator for elementary OS
Flux_rs
experimental scripting language for learning purposes
fullscreen-to-new-workspace
New and maximized windows will be moved to empty workspaces. Supports multiple monitors.
FullscreenToWorkspace
Gnome shell extension that mimics MacOS maximizing behaviour for fullscreen apps
Interpreter
BilkentGNU interpreter yapma eğitimi
jvm_rs
Experimental Java virtual machine implementation
nix-config
My Nix configuration repository
SyncLyrics
Display lyrics from song played on Spotify
onsah's Repositories
onsah/fullscreen-to-new-workspace
New and maximized windows will be moved to empty workspaces. Supports multiple monitors.
onsah/SyncLyrics
Display lyrics from song played on Spotify
onsah/my-static-site-generator
Static Site Generator and content for my personal site
onsah/nix-config
My Nix configuration repository
onsah/LC-3_rs
LC-3 virtual machine implementation in Rust
onsah/babysub-rust-template
onsah/BilkentCourseOverviewGenerator
Utility for generating course overviews in a single document
onsah/cps-tutoring-scripts
Scripts for my CPS Lecture Tutoring tasks in Freiburg University
onsah/CV
My CV
onsah/cytoscape.js-context-menus
A Cytoscape.js extension to provide context menu around elements and core instance
onsah/cytoscape.js-layout-utilities
Miscellaneous utilities for placement of nodes or components complementary to a main layout algorithm
onsah/dotfiles
My personal configuration files
onsah/effects-tutorial-agda
Agda formalization of "An Introduction to Algebraic Effects and Handlers Invited tutorial paper"
onsah/engine-q
onsah/essentials-of-pls-playground
Repository for the "Essentials of Programming Languages" Course in Freiburg
onsah/hanfor
Hanfor helps analyzing and formalizing requirements.
onsah/jakt
The Jakt Programming Language
onsah/markdown-cv
a simple template to write your CV in a readable markdown file and use CSS to publish/print it.
onsah/nushell
A new type of shell
onsah/nushell.github.io
Nushell's main website, blog, book, and more
onsah/omd
extensible Markdown library and tool in "pure OCaml"
onsah/onsah
Config files for my GitHub profile.
onsah/ploeh.github.com
ploeh blog 'source code'
onsah/quartz-nix
Nix packaging for Quartz static site generator
onsah/resume-template
:page_facing_up::briefcase::tophat: A simple Jekyll + GitHub Pages powered resume template.
onsah/ScreenRec
A simple screen recorder app designed for elementary OS.
onsah/serve-markdown-notes-locally
Serve markdown notes as a website locally.
onsah/TigerOCaml
Tiger language implementation in OCaml language (WIP)
onsah/TIP
Static program analysis for TIP
onsah/tuxedo-rs
Rust libraries for interacting with hardware from TUXEDO Computers