Zainab Ali (zainab-ali)

zainab-ali

Geek Repo

Location:London, UK

Github PK Tool:Github PK Tool

Zainab Ali's repositories

pair-tree.el

An Emacs Lisp cons cell explorer

Language:Emacs LispLicense:GPL-3.0Stargazers:51Issues:4Issues:2

libra

A dimensional analysis library based on dependent types

Language:ScalaLicense:NOASSERTIONStargazers:7Issues:3Issues:0

scala3-typed-holes

A WIP of scala-typed-holes for Scala3

Language:ScalaLicense:Apache-2.0Stargazers:6Issues:4Issues:0

domainion

A domain specific language for deck building games

Language:HaskellLicense:Apache-2.0Stargazers:5Issues:3Issues:0

tlaplus-fs2-observe

A formal specification of fs2's `observe` function

Language:TLALicense:Apache-2.0Stargazers:4Issues:3Issues:0

lsug.github.io

London Scala User Group Static Website

Language:HTMLLicense:GPL-3.0Stargazers:1Issues:3Issues:0

advent-of-code-typelevel

Working through the Advent of Code with the Typelevel Stack

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

cats

Lightweight, modular, and extensible library for functional programming.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

chibi-scheme

Chibi scheme rs

Language:RustStargazers:0Issues:3Issues:0

doobie

Functional JDBC layer for Scala.

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

elinter

Nix-based CI and local testing framework for Emacs Lisp projects

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

fastparse

Writing Fast Parsers Fast in Scala

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

forge

Work with Git forges from the comfort of Magit

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

ghub

Client libraries for the APIs of various Git forges

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0
Language:NixStargazers:0Issues:3Issues:0

http4s

A minimal, idiomatic Scala interface for HTTP

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

im-rs

Assorted immutable collection datatypes for Rust

Language:RustLicense:MPL-2.0Stargazers:0Issues:2Issues:0

lesson-plans

Lesson Plans for ScalaBridge

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

lsp-mode

Emacs client/library for the Language Server Protocol

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

melpa

Recipes and build machinery for the biggest Emacs package repo

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:ScalaStargazers:0Issues:3Issues:0

nano-emacs

GNU Emacs / N Λ N O - Emacs made simple

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

nominal

Haskell implementation of nominal datatypes and functions

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

org-jira

Bring Jira and OrgMode together

Language:Emacs LispStargazers:0Issues:2Issues:0
Language:ScalaStargazers:0Issues:2Issues:0
Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

scalacache

Simple caching in Scala

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

sexp

S-expression swiss knife

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

surge

CLI for the surge.sh CDN

Language:JavaScriptStargazers:0Issues:2Issues:0

van11y-accessible-tab-panel-aria

ES2015 accessible tabs panel system, using ARIA

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0