Ilya V. Schurov (ischurov)

ischurov

Geek Repo

Company:Radboud University of Nijmegen

Home Page:https://ilya.schurov.com

Twitter:@ilya_schurov

Github PK Tool:Github PK Tool

Ilya V. Schurov's starred repositories

natty

Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

Language:OCamlLicense:MITStargazers:27Issues:0Issues:0

Blind-Image-Separation

This project has been developed as part of 'Deep Learning' course at the University of Bologna

Language:Jupyter NotebookLicense:MITStargazers:2Issues:0Issues:0

langstream

Build robust LLM applications with true composability 🔗

Language:PythonLicense:MITStargazers:401Issues:0Issues:0

combinadics

Combinatorial system of degree k ranking and unranking

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

annealing-sign-problem

📝 Code for the paper "Many-body quantum sign structures as non-glassy Ising models"

Language:PythonLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

GrouPy

Group Equivariant Convolutional Neural Networks

Language:PythonLicense:NOASSERTIONStargazers:96Issues:0Issues:0

cyrillic-transliteration

Transliterate Cyrillic script to Latin script and vice versa.

Language:PythonLicense:MITStargazers:97Issues:0Issues:0

DictDataBase

A python NoSQL dictionary database, with concurrent access and ACID compliance

Language:PythonLicense:MITStargazers:227Issues:0Issues:0

altair

Declarative statistical visualization library for Python

Language:PythonLicense:BSD-3-ClauseStargazers:9072Issues:0Issues:0

subsuper-proposal

Draft proposal for additional sub/superscript characters in Unicode

Language:TeXStargazers:217Issues:0Issues:0

LightGraphs.jl

An optimized graphs package for the Julia programming language

Language:JuliaLicense:NOASSERTIONStargazers:670Issues:0Issues:0

julia

The Julia Programming Language

Language:JuliaLicense:MITStargazers:45036Issues:0Issues:0

nbcat

View contents of Jupyter notebooks in the terminal with syntax highlighting.

Language:PythonLicense:MITStargazers:4Issues:0Issues:0

pylatexenc

Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion

Language:PythonLicense:MITStargazers:285Issues:0Issues:0

ipython-bell

iPython/Jupyter Notebook magic to notify the programmer when a line/cell has completed execution.

Language:PythonStargazers:22Issues:0Issues:0
Language:HTMLStargazers:2Issues:0Issues:0

Deducer

A data analysis GUI for R

Language:JavaLicense:GPL-2.0Stargazers:10Issues:0Issues:0

function-plot

A 2d function plotter for the web

Language:TypeScriptLicense:MITStargazers:915Issues:0Issues:0

doconce

Lightweight markup language - document once, include anywhere

Language:RLicense:NOASSERTIONStargazers:309Issues:0Issues:0