[go: up one dir, main page]
Skip to content
View damelang's full-sized avatar
257 followers · 9 following
  • San Diego, CA, USA

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Block or report damelang

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

  • precosat Public

    Armin Biere's PrecoSAT SAT solver

    C++ 5 2 MIT License Updated May 23, 2023

  • nile Public

    Common Lisp 715 57 MIT License Updated Jun 7, 2020

  • silt Public

    Smalltalk 5 7 Updated Jul 10, 2013

  • gezira Public

    C 162 30 MIT License Updated Apr 3, 2013

  • nile-viz-comps Public

    3 2 Updated Oct 10, 2012

  • sdk2cnf Public

    Reduces sudoku puzzles to CNF formulae

    Haskell 2 1 MIT License Updated Jun 2, 2010

  • dom-ts Public

    Fork of W3C DOM Conformance Test Suite

    Java 2 2 Updated Nov 11, 2009

  • mico Public

    Experimental Javascript Environment

    JavaScript 22 3 MIT License Updated Jun 17, 2009

  • jitblt Public

    Pixman with JIT compilation using COLA

    29 7 Other Updated Aug 15, 2008