dnlkrgr Goto Github PK
Type: User
Location: Germany
Type: User
Location: Germany
ACT community resources
Yet another resource for collecting articles, videos etc. regarding functional programming
a tool to help students lookup course info online
C-Reduce, a C program reducer
TensorFlow Code for paper "Efficient Neural Architecture Search via Parameter Sharing"
Functional Programming Course
A little course to learn about some of the more obscure GHC extensions.
Merges Haskell modules into one
Another sokoban clone
Minimizing Haskell programs for easier debugging of GHC compiler crashes
interpreter for an untyped lambda calculus without the y-combinator
Course material for lens
Basic implementation of [Neural Architecture Search with Reinforcement Learning](https://arxiv.org/abs/1611.01578).
A formatter for Haskell source code
A list of useful payloads and bypass for Web Application Security and Pentest/CTF
`rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code.
Shake build system
Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'
Tutorial for the CHR system
clp(fd) tutorial
Tutorial for the Quintus message printing system
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.