scialex/openlibm
High quality system independent, portable, open source libm implementation
Developer Profile
scialex
Discovered public repositories for scialex in the GitHub catalog.
scialex/vim-alloy
vim syntax for alloy analyzer
scialex/basicstd
A std frontend using only components without runtime requirements.
scialex/libcpu
Library for low-level access to the CPU in Rust
scialex/enabled
A small syntax extension to rust for an enabled/disabled macro.
scialex/rfcs
RFCs for changes to Rust
scialex/reenix
A Rust version of the Weenix OS
scialex/empty
An empty repository
scialex/rustdoc-example
Showing what fails with rustdoc
scialex/libhoare
Design by contract style assertions for Rust
scialex/bassert
A better assert for Rust
scialex/rust
a safe, concurrent, practical language
scialex/glulxe
The Glulx VM reference interpreter
scialex/tmuxified
A tiny « framework » for Tmux, with handy scripts and status line themes.
scialex/sympy
A computer algebra system written in pure Python
scialex/oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
scialex/reddit_wallpaper
A program that will pull popular images from Reddit to use as a wallpaper