Discover @zmactep Open Source projects

Pavel Yakovlev (@zmactep)

zmactep

Stars
197
Global Rank 124,696 (Top 5 %)
Followers 45
Following 7
Registered about 13 years ago
Most used languages

Haskell
31.3 %

Python
25.0 %

C++
18.8 %

Emacs Lisp
6.3 %

Lean 6.3 %

Julia
6.3 %

C
6.3 %
Location 🇺🇸 United States
Country Total Rank 30,072
Country Ranking

Lean 119

Haskell
224

Julia
1,028

Emacs Lisp
1,764

C
2,499

hasbolt

Haskell driver for Neo4j 3+ (BOLT protocol)

flipperzero-hello-world

Hello World example for Flipper Zero

hasbolt-sample-app

Sample Movie Database application with Haskell backend

smiles

Full support of OpenSMILES specification for Haskell

gpt-digest

A neural network generated daily digest based on RSS feeds

pymol-gpt

Fast and dirty GPT injection into PyMOL

mmtf

MMTF for Haskell

emacsd

My emacsd configuration

ig-pipeline

ProtParam.jl

ExPASy tool clone written on Julia

rickroll-wristband

T-Wristband watch app with secret rickroll function

ighumanizer2

CubeSimulationLibrary

New version of best simulation system

llfgg

Learn Lean for a Great Good

m5stickc_morse

Morse BLE keyboard based on M5StickC Plus

telebot

Telegram bot api. Haskell way.