Giters
Visic

Visic

Geek Repo

0

followers

1

following

26

stars

Github PK Tool:Github PK Tool

Visic's starred repositories

terminal

The new Windows Terminal and the original Windows console host, all in the same place!

Language:C++License:MITStargazers:94878Issues:1313Issues:12664

Apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Language:AssemblyLicense:NOASSERTIONStargazers:57504Issues:1315Issues:381

julia

The Julia Programming Language

Language:JuliaLicense:MITStargazers:45413Issues:931Issues:25178

zig

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

Language:ZigLicense:MITStargazers:33642Issues:361Issues:11231

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:32580Issues:184Issues:4438

asdf

Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

Language:ShellLicense:MITStargazers:21564Issues:123Issues:813

crystal

The Crystal Programming Language

Language:CrystalLicense:Apache-2.0Stargazers:19325Issues:420Issues:7491

color

Color package for Go (golang)

Language:GoLicense:MITStargazers:7252Issues:53Issues:100

rfcs

RFCs for changes to Rust

Language:MarkdownLicense:Apache-2.0Stargazers:5879Issues:326Issues:1605

Carp

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

Language:HaskellLicense:Apache-2.0Stargazers:5499Issues:110Issues:509

gsudo

Sudo for Windows

Language:C#License:MITStargazers:5163Issues:43Issues:228

rustler

Safe Rust bridge for creating Erlang NIF functions

Language:RustLicense:Apache-2.0Stargazers:4303Issues:78Issues:239

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:2486Issues:65Issues:1187

futhark

:boom::computer::boom: A data-parallel functional programming language

Language:HaskellLicense:ISCStargazers:2364Issues:67Issues:1369

cbindgen

A project for generating C bindings from Rust code

Language:RustLicense:MPL-2.0Stargazers:2336Issues:34Issues:543

codebuilds

Community builds of Visual Studio Code for Chromebooks and Raspberry Pi

Language:JavaScriptLicense:MITStargazers:1028Issues:57Issues:121

Idris2-boot

A dependently typed programming language, a successor to Idris

Language:IdrisLicense:NOASSERTIONStargazers:902Issues:61Issues:185

BQN

An APL-like programming language

Language:BQNLicense:ISCStargazers:876Issues:32Issues:35

VisualRust

Visual Studio extension for Rust

Language:C#License:MITStargazers:702Issues:92Issues:151

IRust

Cross Platform Rust Repl

Language:RustLicense:MITStargazers:606Issues:7Issues:64

Blodwen

A prototype successor to Idris

Language:IdrisLicense:NOASSERTIONStargazers:539Issues:82Issues:0

abi_stable_crates

Rust-to-Rust ffi,ffi-safe equivalents of std types,and creating libraries loaded at startup.

Language:RustLicense:Apache-2.0Stargazers:527Issues:7Issues:51

teensy4-rs

Rust support for the Teensy 4

Language:RustLicense:Apache-2.0Stargazers:271Issues:10Issues:55

net-mdns

Simple multicast DNS

Language:C#License:MITStargazers:226Issues:19Issues:69

gpio-cdev

Rust interface to the Linux GPIO Character Device API (/dev/gpiochip...)

Language:RustLicense:Apache-2.0Stargazers:211Issues:22Issues:36

WinBQN

CBQN for Windows

Language:PowerShellLicense:GPL-3.0Stargazers:9Issues:3Issues:7