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

Indra2108

Geek Repo

Location:here ~

Home Page:indrdmr.online

Twitter:@Indradamarj

Github PK Tool:Github PK Tool

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

awesome-for-beginners

A list of awesome beginners-friendly projects.

build-linux

A short tutorial about building Linux based operating systems.

Language:ShellLicense:NOASSERTIONStargazers:5098Issues:187Issues:24

digital-gardeners

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

Language:JavaScriptLicense:MITStargazers:3807Issues:97Issues:12

github-drama

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

nelua-lang

Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.

Language:LuaLicense:MITStargazers:1892Issues:52Issues:104

brick

A declarative Unix terminal UI library written in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:1573Issues:22Issues:275

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1329Issues:23Issues:248

codeworld

Educational computer programming environment using Haskell

Language:HaskellLicense:Apache-2.0Stargazers:1241Issues:58Issues:1320

buzz

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

Language:ZigLicense:MITStargazers:1123Issues:16Issues:223

react-native-unistyles

Level up your React Native StyleSheet

Language:TypeScriptLicense:MITStargazers:1113Issues:5Issues:57

hamler

Haskell-style functional programming language running on Erlang VM.

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

haskell-companies

A gently curated list of companies using Haskell in industry

glance

A visual Haskell

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

snake-fury

a challenge for Haskell beginners

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

Yampa

Functional Reactive Programming domain-specific language for efficient hybrid systems

vty

A high-level ncurses alternative written in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:321Issues:9Issues:150

diagnose

A simple library for reporting compiler/interpreter errors

Language:HaskellLicense:BSD-3-ClauseStargazers:234Issues:3Issues:14

jasmin

Language for high-assurance and high-speed cryptography

Language:CoqLicense:MITStargazers:225Issues:12Issues:248

eclair-lang

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

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

dejafu

Systematic concurrency testing meets Haskell.

hs-opt-handbook.github.io

The Haskell Optimization Handbook

Language:HTMLLicense:CC-BY-4.0Stargazers:169Issues:23Issues:89

pharaoh

Minimalist web-server library for Dart

Language:DartLicense:MITStargazers:127Issues:2Issues:25

neat

The Neat Language compiler. Early beta?

Language:DLicense:BSD-3-ClauseStargazers:110Issues:8Issues:55

brass_mono

Monospaced font inspired by retro industrial design.

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

minerva

Dart backend framework. Supports multithreading, websockets. It contains project build system, request processing pipeline, authentication aids and logging tools.

Language:DartLicense:MITStargazers:56Issues:5Issues:3

plt-books

Books on programming language theory and linguistics in general.

temporal

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

Language:JavaScriptLicense:MITStargazers:3Issues:0Issues: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