Discover @Risto-Stevcev Open Source projects

Risto Stevcev (@Risto-Stevcev)

Risto-Stevcev

Stars
648
Global Rank 44,305 (Top 2 %)
Followers 117
Following 183
Registered about 10 years ago
Most used languages

JavaScript
22.9 %

OCaml
18.6 %

PureScript 18.6 %

Idris 7.1 %

Haskell
5.7 %

Shell
5.7 %

C
4.3 %

Python
4.3 %

HTML
2.9 %

Common Lisp
2.9 %

Tcl 1.4 %

Dockerfile
1.4 %

Clojure
1.4 %

Emacs Lisp
1.4 %

Prolog
1.4 %
Location 🇲🇰 North Macedonia
Country Total Rank 8
Country Ranking

Clojure
1

Common Lisp
1

Dockerfile
1

Emacs Lisp
1

Haskell
1

Idris 1

OCaml
1

Prolog
1

PureScript 1

Tcl 1

C
5

Shell
6

JavaScript
8

Python
14

HTML
39

bastet

A ReasonML/Ocaml library for category theory and abstract algebra

bs-declaredom

Strongly typed declarative markup for the DOM and CSS

bs-effects

Bucklescript data structures for effectful sync and async programming

callbag-html

An html markup library for callbag

pure-random

✨ A purely functional random number generator

bs-free

Free monads for bucklescript

haskell-church-encodings

🌀 Church encodings written in Haskell

python-bytecode

A Python bytecode compiler and bytecode generator.

purescript-ffi-utils

A utility library for the purescript foreign function interface

lazy-either

🔀 A lazy implementation of the Fantasy Land Either type

do-notation

⬅️ Do notation for Fantasy Land monad types

randomart-js

Generates a randomart image from a buffer

bs-jsverify

Jsverify bindings for bucklescript

category-theory-by-example

Explaining category theory by example

bs-declaredom-mvc-example

An example of how to use declaredom as an MVC framework in combination with other tools

idris-heyting-algebra

Interfaces for heyting algebras and verified bounded join and meet semilattices

c-autotools

⛵ A tutorial on how to use autotools for C

prolog-monty-python

Demo of the Monty Python witch scene with Prolog

purescript-most

Most.js bindings for purescript

bs-odoc

Simple wrapper around odoc to support bucklescript projects

haskell-crypto-simple

A simple high level encryption interface based on cryptonite

purescript-webcomponents

A web components wrapper for purescript

callbag-store

A callbag implementation of a redux-like store

sokoban

🍄 A sokoban client for the browser written in ClojureScript

purescript-sqlite

An Sqlite wrapper for Purescript

mneme

📚 Mneme is a new and elegant note-taking format with a web editor/viewer.

idris-functors

Bifunctors and functor products, coproducts, and composition

json-to-dot

Convert a json graph to the dot format

cl-todo-mvc

Todo MVC app for common lisp using ningle + hermetic + parenscript

purescript-docker

Purescript build for Docker ⚓

haskell-karatsuba-multiplication

🔡 λ Karatsuba multiplication implemented in Haskell

bs-callbag-basics

Tiny and fast reactive/iterable programming library

lambda-streams

A lambda-based streaming library (WIP)

declaredom

Declarative syntax for generating DOM elements

tabgroups

🍻 A chrome extension that is a variation of the firefox tab group feature.

callbag-element

A custom element that sets its contents from a callbag stream

idris-comonad

An implementation of comonads in idris

github-markdown-live

:octocat: A simple way to render and view your GitHub markdown files locally

css-parser-combinator

😸 A CSS parser and its combinators

statsd-grapher

📈 A statsd backend that serves an http page with the graphical data

bs-node-stream

Bucklescript bindings for the node stream API

bs-tape

Bucklescript bindings for tape

c-objects

🚀 My guide on how to implement objects in C with support for inheritance, polymorphism, and clean memory management

lambda-streams-promise

Javascript promise helpers for lambda streams

idris-naps

A makeshift package management system for idris

asana

A simple yoga asana sequence guide

purescript-starter-template

A purescript starter template using purescript-signal and purescript-smolder-vdom

purescript-homogeneous-objects

🈁 Compiler-enforced homogeneous JSON objects for Purescript

rxjs-store

A very simple wrapper that provides redux-like functionality using RxJS observables

bs-callbag-store

A callbag implementation of a redux-like store

idris-async

Higher-level abstractions for asynchronous code in idris

c-video-poker

♣️ A C-implementation of video poker with object-oriented C programming and C-unit testing

purescript-properties

A set of generic predicates for testing algebraic properties

haskell-quicksort

Quicksort implementation in Haskell

purescript-signal-time-travel

A time travel debugger for purescript-signal

purescript-pipe-op

Pipe operators (<|) and (|>) for purescript

wiktionary-translator

🌍 An open source chrome extension for quick wiktionary translation lookups

python-church-encodings

Church encodings written in Python

idris-catenable-lists

A port of the purescript catenable-lists library in Idris

bs-either

simple-jails

Simple annotated scripts to create FreeBSD thin jails and clone jails

purescript-lattice

Lattices in purescript

bs-dependency-graph

Generates a dependency graph for a bucklescript project

iac-protocol

📡 A protocol and interface that enables inter-application communication.

purescript-exitcodes

A purescript library for Bash and BSD compliant exit codes

tcltk-themes

purescript-undefinable

A library for dealing with undefinable values

fiveam-skeleton

A cl-project skeleton that uses fiveam as the test framework

primary-clipboard

A layer that sets up copy and paste for the PRIMARY clipboard in spacemacs windowless mode

bs-callbag-of

Callbag source factory that emits values specified as arguments.