Giters
turlando

turlando

Geek Repo

24

followers

21

following

352

stars

Github PK Tool:Github PK Tool

turlando's starred repositories

nicotine-plus

Graphical client for the Soulseek peer-to-peer network

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

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

Language:RustLicense:NOASSERTIONStargazers:15373Issues:0Issues:0

Haskell-Morte-Library

A bare-bones calculus-of-constructions

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

quala

custom type systems for Clang

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

ppl-intro

probabilistic programming for PL folks

Language:MakefileStargazers:145Issues:0Issues:0

bril

an educational compiler intermediate representation

Language:RustLicense:MITStargazers:472Issues:0Issues:0

relude

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Language:HaskellLicense:MITStargazers:689Issues:0Issues:0

VST

Verified Software Toolchain

Language:CoqLicense:NOASSERTIONStargazers:421Issues:0Issues:0

disaster

Disassemble C/C++ code under cursor in Emacs

Language:Emacs LispStargazers:289Issues:0Issues:0

cosmopolitan

build-once run-anywhere c library

Language:CLicense:ISCStargazers:15382Issues:0Issues:0

datatype99

Algebraic data types for C99

Language:CLicense:MITStargazers:1313Issues:0Issues:0

thinkpad-ec

Infrastructure for examining and patching Thinkpad embedded controller firmware

Language:PerlLicense:GPL-2.0Stargazers:1033Issues:0Issues:0

cs6120

advanced compilers

Language:HTMLLicense:MITStargazers:692Issues:0Issues:0

revng

revng: the core repository of the rev.ng project

Language:C++License:GPL-2.0Stargazers:1215Issues:0Issues:0

nixwrt

This repo is dormant : NixWRT is being rewritten as Liminix

Language:NixLicense:MITStargazers:205Issues:0Issues:0

not-os

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

Language:NixLicense:MITStargazers:759Issues:0Issues:0

quilc

The optimizing Quil compiler.

Language:Common LispLicense:Apache-2.0Stargazers:446Issues:0Issues:0

nix.dev

Official documentation for getting things done with Nix.

Language:NixLicense:CC-BY-SA-4.0Stargazers:2111Issues:0Issues:0

nixfiles

My NixOS configuration and assorted other crap.

Language:NixStargazers:155Issues:0Issues:0

world

NixOS configuration

Language:NixLicense:MITStargazers:60Issues:0Issues:0

cothority

Scalable collective authority

Language:GoLicense:NOASSERTIONStargazers:423Issues:0Issues:0

osm

:earth_africa: osm.el - OpenStreetMap viewer for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:500Issues:0Issues:0

construct

Construct: Declarative data structures for python that allow symmetric parsing and building

Language:PythonLicense:NOASSERTIONStargazers:888Issues:0Issues:0

construct

Haskell implementation of the Construct library - succint and easy way to specify data formats

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

static-haskell-nix

easily build most Haskell programs into fully static Linux executables

Language:NixStargazers:386Issues:0Issues:0

type-inference

Unification and type inference algorithms

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

arion

Run docker-compose with help from Nix/NixOS

Language:NixLicense:Apache-2.0Stargazers:582Issues:0Issues:0

smalltt

Demo for high-performance type theory elaboration

Language:LeanLicense:MITStargazers:499Issues:0Issues:0

claripy

An abstraction layer for constraint solvers.

Language:PythonLicense:BSD-2-ClauseStargazers:265Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

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