Kamiλ Shakirov (ska80)

ska80

Geek Repo

Location:Bishkek, Kyrgyzstan

Github PK Tool:Github PK Tool


Organizations
idris-community

Kamiλ Shakirov's repositories

idris2-server

A dependently typed server framework for Idris

Language:IdrisStargazers:3Issues:1Issues:0

awesome-lisp-companies

Awesome Lisp Companies

Stargazers:0Issues:0Issues:0

blog

My Blog

License:MITStargazers:0Issues:1Issues:0

BQN

An APL-like programming language. Self-hosted!

Language:KakouneScriptLicense:ISCStargazers:0Issues:0Issues:0
Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:0Issues:1Issues:0

cl-isaac

Optimized Common Lisp version of Bob Jenkins' ISAAC-32 and ISAAC-64 algorithms, fast cryptographic random number generators.

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0

clog

CLOG - The Common Lisp Omnificent GUI

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0

coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Language:Common LispLicense:MITStargazers:0Issues:0Issues:0

fast-websocket

Optimized low-level WebSocket protocol parser written in Common Lisp

Language:Common LispStargazers:0Issues:0Issues:0

go-ipfs

IPFS implementation in Go

Language:GoLicense:NOASSERTIONStargazers:0Issues:0Issues:0

guix

Guix configuration

Language:SchemeLicense:MITStargazers:0Issues:1Issues:0

healthtrack

Health Track is an app designed to make it as fast and as easy as possible to record information about your health

Language:PureScriptStargazers:0Issues:0Issues:0

idris-jvm

JVM bytecode back end for Idris

Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

Language:IdrisLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

Idris2-Erlang

Erlang code generator for Idris 2

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0

idris2-mode

Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

Idris2-SH

Idris2s all the way down

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

magicl

Matrix Algebra proGrams In Common Lisp.

Language:Common LispLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

MBuild

Build system for Mezzano

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Mezzano

An operating system written in Common Lisp

Language:Common LispLicense:MITStargazers:0Issues:0Issues:0

order-taking

Idris version of Domain Modeling Made Function Book.

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0

sirdi

Package manager for Idris

Language:IdrisLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ska80.github.io

Personal homepage

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

strapdown

Instant and elegant Markdown documents in the browser

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

stumpwm

The Stump Window Manager

Language:Common LispLicense:GPL-2.0Stargazers:0Issues:0Issues:0

syncthing

Open Source Continuous File Synchronization

Language:GoLicense:MPL-2.0Stargazers:0Issues:0Issues:0

Yaffle

A core language and API for dependently typed languages

Language:IdrisStargazers:0Issues:0Issues:0