Discover @ska80 Open Source projects

Kamil Shakirov (@ska80)

ska80

Stars
92
Global Rank 213,251 (Top 8 %)
Followers 46
Following 49
Registered almost 15 years ago
Most used languages

Common Lisp
54.5 %

Idris 18.2 %

C
18.2 %

TeX
9.1 %
Location 🇰🇬 Kyrgyzstan
Country Total Rank 26
Country Ranking

C
1

Common Lisp
1

Idris 1

TeX
2

tinygl

TinyGL : a Small, Free and Fast Subset of OpenGL*

thinlisp

ThinLisp is an open source Lisp to C translator.

cl-muproc

Fork of CL-MUPROC

cltl2-docs

Common Lisp the Language, 2nd Edition

idris2-server

A dependently typed server framework for Idris

qemacs

QEmacs (for Quick Emacs) is a very small but powerful UNIX editor

cl-http

The Common Lisp Hypermedia Server (CL-HTTP)

bpss

Code for "Building Problem Solvers" book

lw-doc

A permuted index for the LispWorks documentation

idris-okasaki-pfds

"Purely Functional Data Structures", by Chris Okasaki

pal

Fast and friendly 2d game library for Common Lisp