Giters
Jack Pappas (jack-pappas)

jack-pappas

Geek Repo

107

followers

15

following

1k

stars

Location:Philadelphia, PA, USA

Github PK Tool:Github PK Tool

Organizations
tidepowerd

Jack Pappas's repositories

ExtCore

An extended core library for F#.

Language:F#License:Apache-2.0Stargazers:178Issues:26Issues:34

fsharp-logic-examples

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

Language:F#License:NOASSERTIONStargazers:170Issues:19Issues:1

facio

Tools for building compilers, interpreters, and analysis tools in F#

Language:F#License:Apache-2.0Stargazers:45Issues:10Issues:13

NHol

An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.

Language:F#License:Apache-2.0Stargazers:11Issues:5Issues:8

c-blosc

A blocking, shuffling and loss-less compression library that can be faster than `memcpy()`.

Language:CStargazers:1Issues:2Issues:0

buildtools

Build tools that are necessary for building the .NET Core projects

Language:C#License:MITStargazers:0Issues:2Issues:0

clrmd

Microsoft.Diagnostics.Runtime is a set of APIs for introspecting processes and dumps.

Language:C#License:MITStargazers:0Issues:2Issues:0

conda

OS-agnostic, system-level binary package manager and ecosystem

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

coreclr

This repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.

Language:C#License:MITStargazers:0Issues:2Issues:0

designs

This repo is used for reviewing new .NET designs.

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

dotnet-runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

Language:C#License:MITStargazers:0Issues:2Issues:0

FsCheck

Random Testing for .NET

Language:F#License:BSD-3-ClauseStargazers:0Issues:2Issues:0

fsharp

The F# compiler, core library and core tools (open source edition)

Language:F#License:NOASSERTIONStargazers:0Issues:2Issues:0

fsharp-hedgehog

Hedgehog will eat all your bugs.

Language:F#License:NOASSERTIONStargazers:0Issues:2Issues:0

fslang-design

RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas

Stargazers:0Issues:2Issues:0

HDF.PInvoke

Raw HDF5 Power for .NET

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

hdf5

Filter for HDF5 that uses Blosc

Language:CStargazers:0Issues:2Issues:0

hdf5-rs

HDF5 for Rust

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

Jil

Fast .NET JSON (De)Serializer, Built On Sigil

Language:C#License:MITStargazers:0Issues:2Issues:0

libc

Raw bindings to platform APIs for Rust

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

mono

Mono open source ECMA CLI, C# and .NET implementation.

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

numpy-threading-extensions

Use fast_numpy_loops to make existing NumPy unary and binary math functions faster.

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

opentracing-csharp

OpenTracing API for C# (.Net)

Language:C#License:MITStargazers:0Issues:2Issues:0

PyTables

PyTables is a package for managing hierarchical datasets and designed to efficiently and easily cope with extremely large amounts of data.

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

staged-recipes

A place to submit conda recipes before they become fully fledged conda-forge feedstocks

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

stdsimd

Experiments with adding SIMD support to Rust's standard library.

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

travis-cookbooks

Chef cookbooks collection used for Travis CI environment/VMs, worker machines and so on

Language:RubyLicense:MITStargazers:0Issues:2Issues:0

visualfsharp

The Visual F# compiler and tools

Language:F#License:NOASSERTIONStargazers:0Issues:2Issues:0

visualstudio-docs

This repo is the home of the official Visual Studio, Visual Studio for Mac, Visual Studio Subscriptions, and Scripting Technologies documentation for Microsoft.

Language:PythonLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

winapi-rs

Rust bindings to Windows API

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