profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/acertain/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

ekmett/cadenza 59

every day i'm truffling

acertain/trufflestg 9

wip, haskell stg on truffle

acertain/asielauncher 0

AsieLauncher, a simple to manage and use Minecraft launcher

acertain/binary-derive 0

derive instances of binary

acertain/docker-solr 0

A Docker build for Solr, to manage the official Docker hub solr image

acertain/doom-emacs 0

An Emacs configuration for the stubborn martian vimmer

acertain/earley-monad 0

An Earley/GLL parser with a Monad instance, a la Meerkat

acertain/geotiff.js 0

Read raw data from GeoTIFF files.

acertain/ghc-proposals 0

Proposed compiler and language changes for GHC and GHC/Haskell

GollumEvent
GollumEvent
GollumEvent
GollumEvent
GollumEvent

created repositoryekmett/hkd

higher-kinded data

created time in 2 months

created repositoryekmett/numeric-fin

created time in 2 months

created repositoryekmett/typed-keys

created time in 2 months

created repositoryekmett/make

created time in 2 months

startedacertain/trufflestg

started time in 3 months

startedacertain/trufflestg

started time in 3 months

startedacertain/trufflestg

started time in 3 months

startedacertain/trufflestg

started time in 3 months

startedacertain/trufflestg

started time in 3 months

startedacertain/trufflestg

started time in 3 months

startedacertain/trufflestg

started time in 3 months

startedacertain/trufflestg

started time in 3 months

startedacertain/trufflestg

started time in 3 months

created repositoryekmett/linear-logic

created time in 3 months

GollumEvent

created repositoryekmett/parsnip

created time in 3 months

startedsarahzrf/coq-depleted

started time in 3 months

push eventekmett/cadenza

acertain

commit sha ded09210dd40210b088f5aaabf496462aaa130df

wip

view details

acertain

commit sha 8a918baeea47061786b7ab9a4b7d96a808e7060e

make prims fast & misc stuff

view details

acertain

commit sha 9f824b1614180a3430f1eba4789586be45478305

moar primops etc

view details

acertain

commit sha 8b2bcbacc088fb45d2916fafa22e742cf5881bec

centralize array utils

view details

acertain

commit sha 0fff594a8d3f13958830de323ff0575dda315ddf

trying to use truffle to make reflection-based serialization fast

view details

acertain

commit sha bbd9a27dd71a722de9617a11137052e85b880f63

mostly cleanup

view details

acertain

commit sha 787c5d003fae20ea03ff1d734ab9496dcb507855

add types for TyCons, and more primops

view details

acertain

commit sha 8fd1b2035e5d0797f349bcfdbd4d7a6c794a686e

fix case of ReEntrant closures

view details

acertain

commit sha fc280758deba2eea5d44ae0bb1284557248fe3a2

-

view details

acertain

commit sha 99eed7afecbbafe177817f989361299b2fe2cdc0

add char primops, also commit for truffle issue

view details

acertain

commit sha d7637c578ae6723e85f2e51cc3bbb0e05c09b928

nofib/spectral/boyer works!

view details

acertain

commit sha e8bec73bfc2512d75e94ba53131a9a3b1f68695a

trying to get kotlin to do less null checks

view details

acertain

commit sha 0ccf437ced91c3bcd7036ea851e8271cfe57bc3f

store Closure.env in papArgs

view details

acertain

commit sha 67a588bdd1eb82a9ef32394851b7a416d818b2ea

need to use as? !! to get kotlin to generate Intrinsics call (which we can hook) vs directly throwing a NPE

view details

acertain

commit sha 48f590899559a3db1312aa41d8a0bf42a8294975

little changes

view details

acertain

commit sha 6cb01ff68791eedc65f015806647c4481b54138b

start switch back to optimized frames

view details

acertain

commit sha 69cd4157ef786bff98fc21a0a4672784ebb46266

use a builder interface for constructing frames

view details

acertain

commit sha 9878226b8e13eed239ccca3609c83b6a2b1f9dae

optimize thunks a bit

view details

push time in 3 months

created repositoryekmett/ispc

a small stub for compiling and linking ispc code with haskell

created time in 3 months