This website requires JavaScript.
Explore
Help
Sign in
cafkafk
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
2
8162378401
nixpkgs
/
pkgs
/
development
/
compilers
History
Vincent Laporte
ec7865cddc
compcert: 3.2 -> 3.3 (
#44512
)
2018-08-05 21:14:55 +02:00
..
abcl
aldor
aliceml
apache-flex-sdk
arachne-pnr
as31
asn1c
aspectj
ats
ats2
avian
avra
bigloo
binaryen
boo
bupc
ccl
chez
chicken
clasp
clean
closure
cmdstan
cmucl
colm
compcert
compcert: 3.2 -> 3.3 (
#44512
)
2018-08-05 21:14:55 +02:00
coreclr
crystal
cudatoolkit
dale
dev86
dmd
dotnet
/sdk
dtc
ecl
edk2
eli
elm
emscripten
eql
factor-lang
fpc
fsharp
fsharp41
fstar
gambit
gcc
gcc-arm-embedded
gcl
gerbil
gforth
ghc
ghcjs
ghcjs-ng
glslang
gnu-cobol
gnu-smalltalk
go
gprolog
graalvm
gwt
halide
haxe
hhvm
hop
iasl
icedtea-web
inform7
intercal
ios-cross-compile
ispc
jetbrains-jdk
jikes
jsonnet
julia
jwasm
kotlin
ldc
llvm
manticore
matter-compiler
mcpp
mentor
mercury
meta-environment
/meta-build-env
mezzo
microscheme
mint
mit-scheme
mkcl
mlton
mono
mozart
nasm
neko
nim
nvidia-cg-toolkit
obliv-c
ocaml
opa
opendylan
openjdk
oraclejdk
orc
osl
owl-lisp
pakcs
picat
polyml
ponyc
purescript
/psc-package
reason
rgbds
rust
sbcl
scala
sdcc
seexpr
serpent
shaderc
smlnj
solc
souffle
souper
squeak
stalin
swi-prolog
swift
terra
teyjus
tinycc
urn
urweb
vala
wcc
wla-dx
yap
yasm
yosys
z88dk
zig
zulu