Pinned Repositories
contracts
PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.
cpython
The Python programming language
dynamic_nested_cages
fcfs
geometry-processing-curvature
Curvature assignment for Geometry Processing course
HaGL
Haskell-embedded OpenGL
jinsp
Visually inspect JSON data from the terminal
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
par-join-search
pyta
Adventures in code analysis for teaching Python.
simeonkr's Repositories
simeonkr/jinsp
Visually inspect JSON data from the terminal
simeonkr/HaGL
Haskell-embedded OpenGL
simeonkr/dynamic_nested_cages
simeonkr/par-join-search
simeonkr/contracts
PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.
simeonkr/cpython
The Python programming language
simeonkr/fcfs
simeonkr/geometry-processing-curvature
Curvature assignment for Geometry Processing course
simeonkr/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
simeonkr/nested_cages
simeonkr/pyta
Adventures in code analysis for teaching Python.
simeonkr/geometry-processing-deformation
Deformation assignment for Geometry Processing course
simeonkr/geometry-processing-introduction
Introductory assignment for Geometry Processing course
simeonkr/geometry-processing-mesh-reconstruction
Mesh Reconstruction assignment for Geometry Processing course
simeonkr/geometry-processing-parameterization
Parameterization assignment for Geometry Processing course
simeonkr/geometry-processing-registration
Registration assignment for Geometry Processing course
simeonkr/geometry-processing-smoothing
Smoothing assignment for Geometry Processing course
simeonkr/llvmcpy
Python bindings for LLVM auto-generated from the LLVM-C API
simeonkr/ttfp-haskell
Haskell implementation of the type theory from Ch. 4 of "Type Theory and Functional Languages" by Simon Thompson
simeonkr/unison
Unison file synchronizer