superfunc Goto Github PK

armfun

me learning arm assembly

avrgirl-arduino

:girl: :pager: A NodeJS library for flashing compiled sketch files to Arduino microcontroller boards.

awesome-usd

Awesome projects related to Pixar's Universal Scene Description

bb

maybe dependent types

chaiscript

Embedded Scripting Language Designed for C++

compiler-explorer

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

compiler-explorer-image

Setup for Amazon EC2 image to run a gcc explorer

cr

cr.h: A Simple C Hot Reload Header-only Library

darwintiler

No frills, super easy tiling "window manager" for MacOS

dhall-haskell

A configuration language guaranteed to terminate

dhallkit

coming soon, hopefully

dune

A composable build system for OCaml

gbcl

gccgraph

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

idris-dev

A Dependently Typed Functional Programming Language

idris-posix

System POSIX bindings for Idris.

lightyear

Parser combinators for Idris

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

liquidhaskell

Liquid Types For Haskell

maybe

An Exception-Free Optional Type for Nim

mk-software-foundations

(doc)ker build for offline edition of "Software Foundations"

moontools.ecs

A very simple ECS system for C#

nim

Nim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in the order of priority).

nim.vim

Nim language plugin for vim

nimble

Package manager for the Nim programming language.

nimlime

Super Nim Plugin for Sublime Text 2/3

npuv

No Python Usdview

opaque_typedef

Opaque Typedef for C++, Single Header

packages

List of packages for Nimble