Kamil Shakirov (ska80)

ska80

Geek Repo

Location:Bishkek, Kyrgyzstan

Github PK Tool:Github PK Tool


Organizations
idris-community

Kamil Shakirov's repositories

idris2-server

A dependently typed server framework for Idris

Language:IdrisStargazers:5Issues:2Issues:0

bps

Code for the book "Building Problem Solvers" with touchups

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

cl-pdf

CL-PDF is a cross-platform Common Lisp library for generating PDF files.

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:CLicense:MITStargazers:0Issues:0Issues:0
Language:CLicense:MITStargazers:0Issues:0Issues:0

gitignore

A collection of useful .gitignore templates

License:CC0-1.0Stargazers:0Issues:1Issues:0

go-ipfs

IPFS implementation in Go

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

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

idris-lang.org

Idris web site

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

Idris2

A dependently typed programming language, a successor to Idris

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

idris2-elab-util

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

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

Idris2-Erlang

Erlang code generator for Idris 2

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

klisp

Kilo LISP

Language:CStargazers:0Issues:2Issues:0

LISP-Machine

Archive of LISP Machine, Inc.

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

magicl

Matrix Algebra proGrams In Common Lisp.

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

order-taking

Idris version of Domain Modeling Made Function Book.

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

parenscript

Mirror of https://gitlab.common-lisp.net/parenscript/parenscript

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

responsible

Idris 2 HTTP Api Server

Language:IdrisStargazers:0Issues:1Issues:0

rms-support-letter.github.io

An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

License:GPL-3.0Stargazers:0Issues:0Issues:0

sh

A shell parser, formatter, and interpreter with bash support; includes shfmt

Language:GoLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

SICL

A fresh implementation of Common Lisp

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:CLicense:MITStargazers:0Issues:0Issues:0
Language:CLicense:ISCStargazers:0Issues:0Issues:0

SPLV20

SPLV20 course notes

Language:IdrisStargazers:0Issues:1Issues:0
Language:CLicense:MITStargazers:0Issues:1Issues:0

streams

MSL Engine for Mimix Nebula 2.0.

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

stumpwm

The Stump Window Manager

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

syncthing

Open Source Continuous File Synchronization

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