Giters
Ali Lahijani (alahijani)

alahijani

Geek Repo

6

followers

21

following

68

stars

Location:Irvine, California

Github PK Tool:Github PK Tool

Organizations
iHerb

Ali Lahijani's starred repositories

swift-evolution

This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.

Language:MarkdownLicense:Apache-2.0Stargazers:15238Issues:0Issues:0

lux

The Lux Programming Language

Language:Emacs LispLicense:MPL-2.0Stargazers:1664Issues:0Issues:0

setoid-universe

A universe for proof-relevant setoids

Language:TeXStargazers:7Issues:0Issues:0

idris2-rhone

Language:IdrisLicense:BSD-3-ClauseStargazers:16Issues:0Issues:0

Gridcoin-Research

Gridcoin-Research

Language:HTMLLicense:MITStargazers:585Issues:0Issues:0

runtimelab

This repo is for experimentation and exploring new ideas that may or may not make it into the main dotnet/runtime repo.

License:MITStargazers:1363Issues:0Issues:0

SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Language:HTMLLicense:CC-BY-SA-4.0Stargazers:371Issues:0Issues:0

Kind1

A next-gen functional language

Language:RustLicense:MITStargazers:3524Issues:0Issues:0

kind

Kubernetes IN Docker - local clusters for testing Kubernetes

Language:GoLicense:Apache-2.0Stargazers:13042Issues:0Issues:0

fuzztest

Language:C++License:NOASSERTIONStargazers:662Issues:0Issues:0

HoTT-Idris

Some HoTT in Idris.

Language:IdrisStargazers:2Issues:0Issues:0

motoko

Simple high-level language for writing Internet Computer canisters

Language:OCamlLicense:Apache-2.0Stargazers:494Issues:0Issues:0

formal-topology-in-UF

Formal Topology in Univalent Foundations (WIP).

Language:CSSLicense:GPL-3.0Stargazers:34Issues:0Issues:0

helf

Haskell implementation of the Edinburgh Logical Framework

Language:HaskellLicense:MITStargazers:26Issues:0Issues:0

fractions

A simple web app to create Unicode fractions

Language:HTMLLicense:Apache-2.0Stargazers:37Issues:0Issues:0

sml-redprl

The People's Refinement Logic

Language:Standard MLLicense:MITStargazers:227Issues:0Issues:0

harfbuzz

HarfBuzz text shaping engine

Language:C++License:NOASSERTIONStargazers:3829Issues:0Issues:0

open-game-engine

Haskell implementation of open games

Language:HaskellLicense:MITStargazers:137Issues:0Issues:0

regolith-desktop

Meta package for the Regolith Desktop Environment

Stargazers:1483Issues:0Issues:0

nats-streaming-server

NATS Streaming System Server

Language:GoLicense:Apache-2.0Stargazers:2501Issues:0Issues:0

opencensus-csharp

Distributed tracing and stats collecting framework

Language:C#License:Apache-2.0Stargazers:139Issues:0Issues:0

ber-metaocaml

Unofficial git mirror of the BER MetaOCaml patchset.

Language:OCamlLicense:NOASSERTIONStargazers:61Issues:0Issues:0

yarn

The 1.x line is frozen - features and bugfixes now happen on https://github.com/yarnpkg/berry

Language:JavaScriptLicense:NOASSERTIONStargazers:41368Issues:0Issues:0

PowerShell

PowerShell for every system!

Language:C#License:MITStargazers:44046Issues:0Issues:0

kibana

Your window into the Elastic Stack

Language:TypeScriptLicense:NOASSERTIONStargazers:19479Issues:0Issues:0

j4ts

Core Java APIs for TypeScript / JavaScript / JSweet

Language:JavaLicense:Apache-2.0Stargazers:97Issues:0Issues:0

tflearn

Deep learning library featuring a higher-level API for TensorFlow.

Language:PythonLicense:NOASSERTIONStargazers:9613Issues:0Issues:0

TensorFlow-Examples

TensorFlow Tutorial and Examples for Beginners (support TF v1 & v2)

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:43304Issues:0Issues:0

yahoo-finance

Python module to get stock data from Yahoo! Finance

Language:PythonStargazers:1309Issues:0Issues:0

Jil

Fast .NET JSON (De)Serializer, Built On Sigil

Language:C#License:MITStargazers:2148Issues:0Issues:0