8000 Rotsor / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Rotsor's full-sized avatar
24 followers · 10 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report Rotsor

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

NixOS / nixpkgs

Nix Packages collection & NixOS

Nix 20,975 16,119 Updated Jul 5, 2025

Rotsor / hackathon-2012-07

1 Updated Jul 23, 2012

Rotsor / euler

Project Euler problem solutions

Haskell 4 Updated Jun 9, 2014

Rotsor / BoolSolver

Solver for boolean identities in Agda

1 Updated Apr 30, 2012

Rotsor / Primes

Prime number generator in Agda

Agda 2 1 Updated May 26, 2018

Rotsor / Compiler

A rudimentary language x86 compiler

Haskell 1 Updated Feb 20, 2012

Rotsor / scalaz

Forked from scalaz/scalaz

An extension to the core scala library.

Scala 1 Updated Feb 13, 2012

Rotsor / wheeled-vehicle

A toy project to simulate the physics of the wheeled vehicles in 2D and possibly create a game

Haskell 1 Updated Feb 13, 2012

Rotsor / Agdapaste

A toy web site allowing users to paste and compile Agda code

Haskell 1 Updated Feb 10, 2013

Rotsor / BinDivMod

Binary division and its properties in Agda

Agda 2 Updated Jul 24, 2018

Rotsor / JewelBot

A bot for StarJewelled Starcraft 2 map

C# 2 2 Updated Jun 18, 2011

scalaz / scalaz

Principled Functional Programming in Scala

Scala 4,670 701 Updated Jun 30, 2025
0