Giters
kar8nga

kar8nga

Geek Repo

10

followers

0

following

527

stars

Github PK Tool:Github PK Tool

kar8nga's starred repositories

IfSharp

F# for Jupyter Notebooks

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:440Issues:0Issues:0

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

Language:TypeScriptLicense:BSD-2-ClauseStargazers:15471Issues:0Issues:0

zig

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

Language:ZigLicense:MITStargazers:31541Issues:0Issues:0

ring

Simple and flexible programming language for applications development

Language:CLicense:MITStargazers:1241Issues:0Issues:0

mini-c

Dr Strangehack, or: how to write a self-hosting C compiler in 10 hours

Language:CStargazers:500Issues:0Issues:0

gocaml

:camel: Statically typed functional programming language implementation with Go and LLVM

Language:GoLicense:MITStargazers:745Issues:0Issues:0

cartesian

generator for complex configurations

Language:JavaScriptStargazers:98Issues:0Issues:0

pyleri

Python Parser

Language:PythonLicense:MITStargazers:119Issues:0Issues:0

stutter

CLI string generator based on regex-like operations

Language:HaskellLicense:MITStargazers:37Issues:0Issues:0

talks

Slides & demos for talks I do

Language:TeXStargazers:60Issues:0Issues:0

FuncShell

Improve your shell by making it functional through Haskell! (An update to Awkward)

Language:HaskellLicense:MITStargazers:291Issues:0Issues:0

corrode

C to Rust translator

Language:HaskellLicense:GPL-2.0Stargazers:2142Issues:0Issues:0

conway

A terminal interface for Conway's Game of Life

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

monolite

Statically-typed structural-sharing tree modifier

Language:TypeScriptStargazers:147Issues:0Issues:0

joypy

Automatically exported from code.google.com/p/joypy

Language:PythonLicense:GPL-3.0Stargazers:27Issues:0Issues:0

shill

Scripting with Least Privilege

Language:CLicense:BSD-3-ClauseStargazers:106Issues:0Issues:0

jq

Command-line JSON processor

Language:CLicense:NOASSERTIONStargazers:29347Issues:0Issues:0

mlsub

Prototype type inference engine

Language:OCamlStargazers:187Issues:0Issues:0

gravity

Gravity Programming Language

Language:CLicense:MITStargazers:4279Issues:0Issues:0

selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:2359Issues:0Issues:0

usql

Universal command-line interface for SQL databases

Language:GoLicense:MITStargazers:8694Issues:0Issues:0

ML-From-Scratch

Machine Learning From Scratch. Bare bones NumPy implementations of machine learning models and algorithms with a focus on accessibility. Aims to cover everything from linear regression to deep learning.

Language:PythonLicense:MITStargazers:23462Issues:0Issues:0

partcl

ParTcl - a micro Tcl implementation

Language:CLicense:MITStargazers:468Issues:0Issues:0

sile

The SILE Typesetter — Simon’s Improved Layout Engine

Language:LuaLicense:MITStargazers:1602Issues:0Issues:0

Simulations

Various simulations of random processes

Language:C++License:GPL-3.0Stargazers:11Issues:0Issues:0

Ende-readme

Ende is a hypothetical programming language.

Stargazers:23Issues:0Issues:0

python-patterns

A collection of design patterns/idioms in Python

Language:PythonStargazers:39664Issues:0Issues:0

yaep

Yet Another Earley Parser

Language:SWIGLicense:NOASSERTIONStargazers:131Issues:0Issues:0

gll-combinators

A parser combinator library based on the GLL algorithm

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

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2826Issues:0Issues:0