yobson Goto Github PK
Name: James Hobson
Type: User
Company: @jotron-as
Location: Bergen, Norway
Blog: www.hobson.space
Name: James Hobson
Type: User
Company: @jotron-as
Location: Bergen, Norway
Blog: www.hobson.space
Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.freenode.net
Official upstream development repository for Cabal and cabal-install
An app made in F#. Drag codebase CSV file onto exe or shortcut and it opens each bug on in the CSV one by one
It's a bog standard CTL model checker I whipped up in Haskell
A project for hosting online elections
Makefile and Docker Build materials for riscos-gccsdk container with jhc compiler for haskell development
Example for INF221 class on effects
A Website Crawler for Enjoy Digital
This will be an exoplanet detection simulation
A machine learning experiment for working out film preferences
A webapp to find free PCs. Programmed in C for speed on raspberry pi. Uses kore.io
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
A tool to create simple (at the moment) but functioin based algorithm and convert them into other languages. At the moment it can output to VBS, c++ (not very tested) and Python 2.7. It is good for people learning how to construct algorithms and then see how they look in differnt codes. It is written in GNUstep Objective C 2.0 with clang and only tested on my windows machine.
Haskell library to control spike, and soon to control the BuildHat
JHC Haskell compiler split into reusable components
Haskell Bindings to libssh
My A2 Macronotes
This is a robot control system for the adruino that uses windows remote arduino.
Haskell implemented with combinators
My Agda standard library. Seemed easier than learning the actual standard library
A library providing one with a somewhat higher level interface to 9P2000 protocol than existing implementations. Designed to facilitate rapid development of synthetic filesystems.
A haskell library for making 9p2000 file systems
This is a program that will be used to convert a project from objective c into c++ for compiling. I plan to create a makefile system that feeds the output into GCC/clang but im not there yet! It is based on an objective C converter I was given by [email protected]. Check him out please!
Official Open Build Service Documentation. Content gets reviewed and edited. Generated books are available at http://www.openbuildservice.org
An application to organise notes for quick access in open book exams
We're creating the new, refreshed documentation for the openSUSE distributions, catering for inexperienced users and veterans alike. Target release: 2021
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.