Giters
TrueWarg

TrueWarg

Geek Repo

4

followers

1

following

162

stars

Location:Mongolia

Github PK Tool:Github PK Tool

TrueWarg's starred repositories

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:3139Issues:0Issues:0

ante

A safe, easy systems language

Language:RustLicense:MITStargazers:1862Issues:0Issues:0

Odin

Odin Programming Language

Language:OdinLicense:BSD-3-ClauseStargazers:6030Issues:0Issues:0

zig

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

Language:ZigLicense:MITStargazers:31691Issues:0Issues:0

haskell-ebook

Stargazers:387Issues:0Issues:0

1brc

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

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

ggez

Rust library to create a Good Game Easily

Language:RustLicense:MITStargazers:4148Issues:0Issues:0

Fyrox

3D and 2D game engine written in Rust

Language:RustLicense:MITStargazers:7437Issues:0Issues:0

robolectric

Android Unit Testing Framework

Language:JavaLicense:NOASSERTIONStargazers:5813Issues:0Issues:0

utas

Generate string resource files for Android from twine files

Language:RustLicense:MITStargazers:3Issues:0Issues:0

tauri

Build smaller, faster, and more secure desktop applications with a web frontend.

Language:RustLicense:Apache-2.0Stargazers:79079Issues:0Issues:0

project-based-learning

Curated list of project-based tutorials

License:MITStargazers:177418Issues:0Issues:0

mtl

The Monad Transformer Library

Language:HaskellLicense:NOASSERTIONStargazers:359Issues:0Issues:0

Compiler-Development

Что читать о разработке компиляторов

Stargazers:455Issues:0Issues:0

appyx

Model-driven navigation + UI components with gesture control for Compose Multiplatform

Language:KotlinLicense:Apache-2.0Stargazers:1088Issues:0Issues:0

apple

Apple array system

Language:HaskellLicense:NOASSERTIONStargazers:51Issues:0Issues:0

parser-combinators

Lightweight package providing commonly useful parser combinators

Language:HaskellLicense:NOASSERTIONStargazers:52Issues:0Issues:0

Kind1

A next-gen functional language

Language:RustLicense:MITStargazers:3518Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10206Issues:0Issues:0

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqLicense:NOASSERTIONStargazers:1226Issues:0Issues:0

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

Language:HaskellStargazers:1788Issues:0Issues:0

drogon

Drogon: A C++14/17/20 based HTTP web application framework running on Linux/macOS/Unix/Windows

Language:C++License:MITStargazers:10981Issues:0Issues:0

parallel

a library for parallel programming

Language:HaskellLicense:NOASSERTIONStargazers:91Issues:0Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:678Issues:0Issues:0

MLAlgorithms

Minimal and clean examples of machine learning algorithms implementations

Language:PythonLicense:MITStargazers:10651Issues:0Issues:0

TDungeon

TDungeon is a small adventure game that runs in the Typescript type system

Language:TypeScriptLicense:MITStargazers:1158Issues:0Issues:0

criterion

A powerful but simple library for measuring the performance of Haskell code.

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

kandria

A post-apocalyptic actionRPG. Now on Steam!

Language:Common LispLicense:ZlibStargazers:596Issues:0Issues:0

Carp

A statically typed lisp, without a GC, for real-time applications.

Language:HaskellLicense:Apache-2.0Stargazers:5459Issues:0Issues:0

duckling

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Language:HaskellLicense:NOASSERTIONStargazers:4034Issues:0Issues:0