Giters
Veysel Usta (veyselusta)

veyselusta

Geek Repo

59

followers

157

following

867

stars

Location:Mersin

Home Page:https://www.linkedin.com/in/veysel-usta

Github PK Tool:Github PK Tool

Veysel Usta's starred repositories

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Language:PythonLicense:NOASSERTIONStargazers:270268Issues:6558Issues:319

just

the only javascript runtime to hit no.1 on techempower :fire:

Language:JavaScriptLicense:MITStargazers:3610Issues:61Issues:47

magic-in-ten-mins

十分钟魔法练习

Language:HTMLLicense:CC-BY-4.0Stargazers:765Issues:8Issues:3

chicago-ug-math-bib

Chicago undergraduate mathematics bibliography

Language:HTMLStargazers:687Issues:33Issues:5

database-internals-notes

My chapter-wise notes for Database Internals by Alex Petrov.

Stargazers:358Issues:21Issues:0

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

License:CC0-1.0Stargazers:306Issues:14Issues:12

raft-rs

Another minimal Raft implementation in Rust.

Language:RustLicense:MITStargazers:173Issues:3Issues:2

beginner-friendly-haskell-for-web-development

A book about real world web development in beginner friendly Haskell

Language:HaskellStargazers:78Issues:11Issues:0

tba-2021

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

Language:LeanStargazers:50Issues:9Issues:2

book-real-world-haskell

Real World Haskell Source Code

Language:ShellLicense:BSD-2-ClauseStargazers:50Issues:6Issues:2

Formality-Core

Specification of the Formality proof and programming language

Language:JavaScriptLicense:MITStargazers:40Issues:8Issues:3

ocaml-forester

Mirror of ocaml-forester

Language:OCamlLicense:GPL-3.0Stargazers:36Issues:3Issues:0

eopl

Essentials of Programming Languages, with OCaml implementations & Coq proofs

Language:OCamlStargazers:32Issues:4Issues:0

Example-Lean-Projects

Some examples of Lean projects, for undergraduate mathematicians.

Language:LeanStargazers:22Issues:4Issues:0

real-world-haskell-chapter-10

A walk-through of Real World Haskell 10th Chapter

Language:HaskellStargazers:17Issues:4Issues:0

violet

A programming language, half theorem prover

Language:LeanLicense:BSD-3-ClauseStargazers:12Issues:5Issues:0

fecssk

Formalisms Every Computer Scientist Should Know (course at ISTA)

Language:LeanLicense:UnlicenseStargazers:12Issues:1Issues:0

realword-haskell

My notes and exercise solutions of "real world haskell"

Language:HaskellLicense:GPL-3.0Stargazers:9Issues:2Issues:0

igl2020

Lean project for Fall 2020

Language:LeanStargazers:7Issues:2Issues:25

HtmlJs

Experiments with HTML and JavaScript

Language:HTMLStargazers:6Issues:5Issues:0

chomsky

Port https://github.com/madvorak/grammars/ to Lean 4 (wip)

Language:LeanLicense:BSD-2-ClauseStargazers:6Issues:0Issues:0

BrushUpYourJavaScript

Material for the BaselOne Workshop

Language:JavaScriptStargazers:3Issues:2Issues:0

fs19-wodss-client

Language:JavaScriptStargazers:3Issues:1Issues:0

flap

a clone of flappy bird

Language:JavaScriptStargazers:2Issues:1Issues:0

LEAN_projects

LEAN

Language:LeanStargazers:2Issues:1Issues:0

linear-algebra

Fork of https://gitlab.com/jim.hefferon/linear-algebra

Language:TeXLicense:NOASSERTIONStargazers:1Issues:2Issues:0

mergesort

Mergesort (and an implicit proof that it terminates) in Lean 4.

Language:LeanStargazers:1Issues:1Issues:0

grammars-slides

Language:TeXLicense:BSD-2-ClauseStargazers:1Issues:0Issues:0

kata

Used to store short program examples

Language:RacketStargazers:1Issues:2Issues:0

jake-2

This repository is an experimental prototype of Jake

Language:TypeScriptStargazers:1Issues:1Issues:0