syedtaz

followers

following

stars

Barclays

New Jersey

https://syedtaz.github.io/

Organizations

lotus-lang

Tazmilur Saad's starred repositories

linenoise

A small self-contained alternative to readline and libedit

Language:CBSD-2-Clause376000

rete

An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'

Language:C++7500

superhero-network

An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.

noulith

*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it

Language:Rust113200

obatcher

A Framework for building Batched Concurrent Services

Language:OCamlISC300

httpun

A high performance, memory efficient, and scalable web server written in OCaml

Language:OCamlNOASSERTION5000

classes

Smart, pythonic, ad-hoc, typed polymorphism for Python

Language:PythonBSD-2-Clause65700

returns

Make your functions return something meaningful, typed, and safe!

Language:PythonBSD-2-Clause349700

dune

A composable build system for OCaml.

Language:OCamlMIT161100

rheia

A blockchain written in Zig.

Language:ZigApache-2.025300

python-lenses

A python lens library for manipulating deeply nested immutable structures

Language:PythonGPL-3.030900

pysimdjson

Python bindings for the simdjson project.

Language:PythonNOASSERTION64300

python-sortedcontainers

Python Sorted Container Types: Sorted List, Sorted Dict, and Sorted Set

Language:PythonNOASSERTION350100

LuaTeX_Lua-API

Type definitions / Stubs for the Lua API / interface of LuaTeX and related Lua modules.

Language:LuaGPL-2.01000

btree-gadt

Code from a talk given at YOW! Lambda Jam 2013

Language:Haskell1500

usaco-guide

A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.

Language:MDXNOASSERTION160700

crem

Compositional Representable Executable Machines

Language:HaskellMIT10500

sled

the champagne of beta embedded databases

Language:RustApache-2.0808600

higher

Higher-kinded programming in OCaml

Language:OCamlMIT18000

ocaml-prog-pats

OCaml Programming Patterns - random tricks, "design patterns", etc.

Language:OCaml5200

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigMIT3398600

typer

Typer, build great CLIs. Easy to code. Based on Python type hints.

Language:PythonMIT1550400

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustNOASSERTION4778600

kqueue-ml

OCaml bindings to kqueue

Language:OCamlBSD-3-Clause2200

logs

Logging infrastructure for OCaml

Language:OCamlISC8600

bonsai

A library for building dynamic webapps, using Js_of_ocaml

Language:OCamlMIT35900

odig

Lookup documentation of installed OCaml packages

Language:OCamlNOASSERTION6700

server-reason-react

Server render Reason React components with OCaml natively

Language:OCamlMIT12900

libxev

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + WASI. Available as both a Zig and C API.

Language:ZigMIT201700

Dlist

Difference list library for OCaml

Language:OCaml3300