Giters
Barış (bbayazit16)

bbayazit16

Geek Repo

18

followers

2

following

35

stars

Location:Toronto, Canada

Twitter:@bbayazit16

Github PK Tool:Github PK Tool

Barış's starred repositories

tower-lsp-boilerplate

Language:RustLicense:MITStargazers:199Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:96330Issues:0Issues:0

rust-grammar

An ANTLR4 grammar for Rust.

Language:ANTLRLicense:Apache-2.0Stargazers:11Issues:0Issues:0

oakc

A portable programming language with a compact intermediate representation

Language:RustLicense:Apache-2.0Stargazers:723Issues:0Issues:0

craftinginterpreters

Repository for the book "Crafting Interpreters"

Language:HTMLLicense:NOASSERTIONStargazers:8714Issues:0Issues:0

pingora

A library for building fast, reliable and evolvable network services.

Language:RustLicense:Apache-2.0Stargazers:20879Issues:0Issues:0

IBLLinearAlgebra

Series of worksheets designed to guide students through an inquiry based first year Linear Algebra course

Language:TeXLicense:NOASSERTIONStargazers:27Issues:0Issues:0

email-wallet

A smart contract wallet controlled using email

Language:RustLicense:MITStargazers:124Issues:0Issues:0

bellman

zk-SNARK library.

Language:RustLicense:NOASSERTIONStargazers:983Issues:0Issues:0

pysnark

Library for programming zk-SNARKs directly in Python

Language:PythonLicense:NOASSERTIONStargazers:168Issues:0Issues:0

oblif

Tooling for writing data-oblivious programs (mpyc, pysnark, ...) using non-oblivious constructs (if/for/...)

Language:PythonLicense:MITStargazers:3Issues:0Issues:0

htmx

</> htmx - high power tools for HTML

Language:JavaScriptLicense:NOASSERTIONStargazers:36888Issues:0Issues:0

lean-smt

Tactics for discharging Lean goals into SMT solvers.

Language:LeanLicense:Apache-2.0Stargazers:88Issues:0Issues:0

pywat

Python wats

Stargazers:1218Issues:0Issues:0

knative-eda-demos

An exploration of various tools Knative Eventing provides to build event driven architectures

Language:JavaScriptLicense:Apache-2.0Stargazers:4Issues:0Issues:0

tuned-lens

Tools for understanding how transformer predictions are built layer-by-layer

Language:PythonLicense:MITStargazers:403Issues:0Issues:0

DreamBerd

perfect programming language

License:NOASSERTIONStargazers:11164Issues:0Issues:0

excalidraw

Virtual whiteboard for sketching hand-drawn like diagrams

Language:TypeScriptLicense:MITStargazers:79982Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:32328Issues:0Issues:0

cacao

Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!

Language:RustLicense:MITStargazers:1836Issues:0Issues:0

Compose-Examples

Various Docker Compose examples of selfhosted FOSS and proprietary projects.

Stargazers:5413Issues:0Issues:0

xbar

Put the output from any script or program into your macOS Menu Bar (the BitBar reboot)

Language:GoLicense:MITStargazers:17479Issues:0Issues:0

type-challenges

Collection of TypeScript type challenges with online judge

Language:TypeScriptLicense:MITStargazers:42200Issues:0Issues:0

bchart

A LaTeX package for drawing simple bar charts

Language:TeXLicense:MITStargazers:5Issues:0Issues:0

LaTeX-Workshop

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

Language:TypeScriptLicense:MITStargazers:10518Issues:0Issues:0

nandgame.com-solutions

Solutions for NandGame.com

Stargazers:12Issues:0Issues:0

leptos

Build fast web applications with Rust.

Language:RustLicense:MITStargazers:15721Issues:0Issues:0

yew

Rust / Wasm framework for creating reliable and efficient web applications

Language:MDXLicense:Apache-2.0Stargazers:30427Issues:0Issues:0

solvm

evm inception: the evm inside the evm via yul and solidity

Language:SolidityStargazers:228Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4419Issues:0Issues:0