jacereda
Follow
-
microui Public
Forked from rxi/microuiA tiny immediate-mode UI library
-
org-brain Public
Forked from Kungsgeten/org-brainOrg-mode wiki + concept-mapping
Emacs Lisp MIT License UpdatedApr 8, 2021 -
Nim Public
Forked from nim-lang/NimNim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
Nim Other UpdatedJan 24, 2021 -
Carp Public
Forked from carp-lang/CarpA statically typed lisp, without a GC, for real-time applications.
Haskell Apache License 2.0 UpdatedJan 5, 2021 -
set-monad Public
Forked from giorgidze/set-monadSet monad
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 19, 2020 -
glad Public
Forked from Dav1dde/gladMulti-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
Python Other UpdatedSep 27, 2020 -
-
nim-cv Public
Nim bindings for glcv, a canvas event handling library for OpenGL.
-
-
-
-
gpu-switch Public
Forked from 0xbb/gpu-switchgpu-switch is an application that allows to switch between the graphic cards of dual-GPU Macbook Pro models
Objective-C MIT License UpdatedJun 2, 2020 -
void-runit Public
Forked from void-linux/void-runitrunit init scripts for Void
Shell UpdatedJan 23, 2020 -
nix-darwin Public
Forked from LnL7/nix-darwinnix modules for darwin
Nix MIT License UpdatedJan 13, 2020 -
gl-transitions Public
Forked from gl-transitions/gl-transitionsThe open collection of GL Transitions
GLSL UpdatedDec 31, 2019 -
-
programming-languages Public
Forked from learn-anything/programming-languagesAwesome Programming Languages
Creative Commons Zero v1.0 Universal UpdatedJun 11, 2019 -
-
lobster Public
Forked from aardappel/lobsterThe Lobster Programming Language
C++ UpdatedApr 29, 2019 -
-
node2nix Public
Forked from svanderburg/node2nixGenerate Nix expressions to build NPM packages
Nix MIT License UpdatedMar 19, 2019 -
patchwork Public
Forked from ssbc/patchworkA decentralized messaging and sharing app built on top of Secure Scuttlebutt (SSB).
JavaScript GNU Affero General Public License v3.0 UpdatedMar 18, 2019 -
ofborg Public
Forked from NixOS/ofborg@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg
Rust MIT License UpdatedMar 9, 2019 -
DirectXTK12 Public
Forked from microsoft/DirectXTK12The DirectX Tool Kit (aka DirectXTK12) is a collection of helper classes for writing DirectX 12 code in C++
C++ MIT License UpdatedMar 5, 2019 -
ffmpeg-gl-transition Public
Forked from transitive-bullshit/ffmpeg-gl-transitionFFmpeg filter for applying GLSL transitions between video streams.
C UpdatedFeb 24, 2019 -
purescript Public
Forked from purescript/purescriptA small strongly, statically typed language that compiles to Javascript
Haskell Other UpdatedFeb 18, 2019 -
purescript-quickcheck Public
Forked from purescript/purescript-quickcheckAn implementation of QuickCheck in PureScript
PureScript BSD 3-Clause "New" or "Revised" License UpdatedFeb 17, 2019 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedJan 12, 2019 -
purescript-benchmark-1 Public
Forked from cyrbon/purescript-benchmarkSimple to use, cross-platform benchmarking library based on benchmark.js
PureScript Other UpdatedDec 22, 2018 -
mypy Public
Forked from python/mypyOptional static typing for Python 2 and 3 (PEP 484)
Python Other UpdatedDec 18, 2018