Kamil Shakirov (ska80)

ska80

Geek Repo

Location:Bishkek, Kyrgyzstan

Github PK Tool:Github PK Tool


Organizations
idris-community

Kamil Shakirov's repositories

tinygl

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

Language:CLicense:NOASSERTIONStargazers:52Issues:3Issues:1

thinlisp

ThinLisp is an open source Lisp to C translator.

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

bpss

Code for "Building Problem Solvers" book

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

cl-http

The Common Lisp Hypermedia Server (CL-HTTP)

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

qemacs

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

Language:CLicense:LGPL-2.1Stargazers:2Issues:1Issues:0

clrecipes

Code for "Common Lisp Recipes" book

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

idris-okasaki-pfds

"Purely Functional Data Structures", by Chris Okasaki

Language:IdrisLicense:CC0-1.0Stargazers:1Issues:3Issues:0

lw-doc

A permuted index for the LispWorks documentation

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

pcl

Code for "Practical Common Lisp" book

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

aima-data

Data files to accompany the algorithms from Norvig And Russell's "Artificial Intelligence - A Modern Approach"

License:NOASSERTIONStargazers:0Issues:0Issues:0

aima-java

Java implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

aima-lisp

Common Lisp implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

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

aima-pseudocode

Pseudocode descriptions of the algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

License:NOASSERTIONStargazers:0Issues:0Issues:0

Blodwen

A prototype successor to Idris

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

clhs

The Common Lisp HyperSpec

Language:HTMLStargazers:0Issues:2Issues:0

clx

a fork of crhodes' fork of danb's fork of the CLX library, an X11 client for Common Lisp

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

formik-persist

💾 Persist and rehydrate a Formik form to localStorage

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

homebrew-core

:beers: Core formulae for the Homebrew package manager

Language:RubyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

idris-vdom

Virtual DOM in pure Idris

Language:IdrisLicense:MITStargazers:0Issues:0Issues:0

lisp-random

A smattering of random Lisp code by Robert Smith

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

local-time

Time manipulation library for Common Lisp

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

native-utils

A simple library class which helps with loading dynamic JNI libraries stored in the JAR archive

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

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

rss-reader

RSS Reader

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

sicp

Code for "Structure and Interpretation of Computer Programs, 2nd edition" book

Language:SchemeStargazers:0Issues:0Issues:0

sodium-idris

Idris bindings for libsodium

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

specdris

A test framework for Idris

Language:IdrisLicense:MITStargazers:0Issues:0Issues:0

stumpwm-contrib

Extension Modules for StumpWM

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

TypeDD-Samples

Sample code from "Type Driven Development with Idris"

Language:IdrisLicense:MITStargazers:0Issues:2Issues:0

Z80.js

Emulator for the Z80 microprocessor

License:MITStargazers:0Issues:0Issues:0