osa1/typed-duration

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 7 years ago
Updated over 4 years ago

osa1/typed-duration

osa1

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Thread delay and timeout functions with typed arguments

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

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