ابو الحسن الجاوي (Indra2108)

Indra2108

Geek Repo

Location:here ~

Home Page:indrdmr.online

Twitter:@Indradamarj

Github PK Tool:Github PK Tool

ابو الحسن الجاوي's starred repositories

the-super-tiny-compiler

:snowman: Possibly the smallest compiler ever

Language:JavaScriptLicense:CC-BY-4.0Stargazers:27771Issues:473Issues:0

build-linux

A short tutorial about building Linux based operating systems.

Language:ShellLicense:NOASSERTIONStargazers:5111Issues:186Issues:24

digital-gardeners

Resources, links, projects, and ideas for gardeners tending their digital notes on the public interwebs

Language:JavaScriptLicense:MITStargazers:3936Issues:93Issues:12

packagephobia

⚖️ Find the cost of adding a new dependency to your project

Language:TypeScriptLicense:MITStargazers:2110Issues:15Issues:98

github-drama

"This conversation has been locked and limited to collaborators."

React-Native-Advanced-Guide

React Native Advanced Guide Book (iOS & Android) - Be an Expert in 2024 🔥

brick

A declarative Unix terminal UI library written in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:1593Issues:22Issues:277

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1348Issues:23Issues:254

react-native-unistyles

Level up your React Native StyleSheet

Language:TypeScriptLicense:MITStargazers:1335Issues:6Issues:75

codeworld

Educational computer programming environment using Haskell

Language:HaskellLicense:Apache-2.0Stargazers:1242Issues:58Issues:1327

buzz

👨‍🚀 buzz, A small/lightweight statically typed scripting language

Language:ZigLicense:MITStargazers:1193Issues:16Issues:231

flutter_offline

✈️ A tidy utility to handle offline/online connectivity like a Boss

Language:DartLicense:MITStargazers:1047Issues:14Issues:38

hamler

Haskell-style functional programming language running on Erlang VM.

Language:ErlangLicense:BSD-3-ClauseStargazers:1025Issues:31Issues:78

programming-language-research

✨ Programming Language Research, Applied PLT & Compilers

Language:ClojureLicense:MITStargazers:865Issues:20Issues:0

glance

A visual Haskell

Language:HaskellLicense:Apache-2.0Stargazers:716Issues:34Issues:8

Yampa

Functional Reactive Programming domain-specific language for efficient hybrid systems

snake-fury

a challenge for Haskell beginners

Language:HaskellLicense:BSD-3-ClauseStargazers:435Issues:6Issues:5

vty

A high-level ncurses alternative written in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:322Issues:9Issues:151

jasmin

Language for high-assurance and high-speed cryptography

Language:CoqLicense:MITStargazers:248Issues:12Issues:270

eclair-lang

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Language:HaskellLicense:BSD-3-ClauseStargazers:199Issues:4Issues:22

Hook

a graphical C/C++ runtime editor

Language:C++Stargazers:186Issues:1Issues:0

brass_mono

Monospaced font inspired by retro industrial design.

Language:ShellLicense:OFL-1.1Stargazers:116Issues:3Issues:21

neat

The Neat Language compiler. Early beta?

Language:DLicense:BSD-3-ClauseStargazers:111Issues:8Issues:58

tcpcv

:computer: TCPCV is a retro-style, text-based server for hosting your résumé.

Language:TypeScriptLicense:MITStargazers:40Issues:3Issues:1

Amadeus

アマデウス Memory storage and artificial intelligence system. Complex chatting AI bot for discord, also voice / music, streams trackers, WarCraft3 news, games trackers, various statistics/info grabbers.

Language:RustLicense:AGPL-3.0Stargazers:39Issues:5Issues:7

downly

downly is a simple telegram bot that can download files from the internet and upload them to telegram.

Language:PythonLicense:MITStargazers:13Issues:2Issues:10

temporal

Temporal is here to help you remember every useful thing you've read on the web.

Language:JavaScriptLicense:MITStargazers:4Issues:1Issues:0

kindness

A lightweight support library for higher kinded types in Dart.

Language:DartLicense:MITStargazers:3Issues:1Issues:0

Hygeia

A CLI program to keep track of your moods

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