Discover @osa1 Open Source projects

Ömer Sinan Ağacan (@osa1)

osa1

Stars
1,288
Global Rank 24,059 (Top 0.9 %)
Followers 337
Following 6
Registered about 14 years ago
Most used languages

Haskell
51.4 %

Rust
19.4 %

JavaScript
6.9 %

Python
4.2 %

C
2.8 %

Lua
2.8 %

Common Lisp
1.4 %

Coq 1.4 %

Racket
1.4 %

PureScript 1.4 %

OCaml
1.4 %

Vim Script
1.4 %

TeX
1.4 %

Scheme
1.4 %

Monkey C 1.4 %
Location 🇹🇷 Turkey
Country Total Rank 101
Country Ranking

Haskell
1

Monkey C 1

OCaml
1

PureScript 1

Coq 2

Rust
2

Racket
5

Lua
7

Scheme
8

Common Lisp
17

Vim Script
18

TeX
69

C
255

JavaScript
2,021

Python
2,139

tiny

A terminal IRC client

lexgen

A fully-featured lexer generator, implemented as a proc macro

language-lua

Lua parser and pretty-printer

sg

A syntax-aware grep-like code search tool

StrictCore

An experimental intermediate language for GHC

mincaml

A MinCaml compiler implemented in Rust

MANTI

A pure subset of Prolog, implemented in Haskell

parsegen

An LR parser generator, implemented as a proc macro

Shen.hs

Shen implementation in Haskell

psc-lua

Lua backend for PureScript

rhex

A curses-based hex editor

rho-torrent

wasmrun

[WIP] A Wasm interpreter with debugging and inspection capabilities

privileged-concurrency

CoreDump

lcl

STL containers in Lua

tree-sitter-parse

A tool like tree-sitter-cli that can load parsers compiled to shared libraries

toylisp

my attempt to implement a [typed] Lisp-like language in Haskell

hsyslog-tcp

syslog over TCP

sc-plugin

typed-duration

Thread delay and timeout functions with typed arguments

Dextrack

A Garmin watch face with blood glucose monitoring

akow2

Extended/improved version of LD23 game, Another Kind of World

minCaml.hs

rcbackup

Various rc and config files

synacor-challenge

My solution to the Synacor Challenge

spec_bench

dolap-chat

ghc-utils

Various tools I use when working on GHC

guru-rs

A gdb/rr GUI (this time in Rust)

int-proj

h10

A Haskell 2010 type checker

amele

a Python + PyQT script for linux to watch folders for changes and run commands on them

sicp-solutions

my solutions to exercises in `structure and interpretation of computer programs`

ptm

Testing out program transformation ideas

racket.rkt

An experimental compiler from a subset of [Typed] Racket to x86_64

external-sort

An external sorting library

coq-in-hs

nova

analyze-ghc-timings

talks

Talks I gave, with tex sources and source code listings

sd

k-CFA

Implementation of k-CFA control-flow analysis framework on a simple language

streams

sqlite-ranger

cob

cl-mustache

{{ Mustache }} for Common Lisp

advent_of_code

My "Advent of Code" solutions, since 2015. Using a different language each year.

StagedLambda

GenericInstsBenchmark

migration-test

Experimenting with database migrations

setops_bench

notlex

rust_ld_preload_example

Override libc malloc/free with Rust functions

TemplateSpec

Arsiv-duzenleyici

mp3, ogg ve flac dosyalarını id3 etiketlerine göre düzenleyip, albüm kapaklarını indiren basit bir program

freer-logger

dolap-chat-client

frontend for dolap chat server

noan

Pardus internship project

eff-playground

lazycore

dolap

guru

free-er

monotone-framework

pygame-playground

Pygame saçmalamalarım

plugins

array-fs

Filesystem-backed arrays

chsc

psc-lua-tests

RandomArt.hs

ktest.hs