wandersoncferreira/odoyle-example-truth-maintainance wandersoncferreira/odoyle-example-truth-maintainance

  • Stars
    star
    1
  • Language
    Clojure
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wandersoncferreira/odoyle-example-truth-maintainance
github

wandersoncferreira

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Repository to compare Truth Maintenance in Clara Rules and Odoyle

More Repositories

1

code-review

Code Reviews in Emacs
Emacs Lisp
462
star
2

mamulengo

Lightweight database based on datascript with durable store and time travel for Clojure(Script)
Clojure
51
star
3

helm-spotify-plus

New version of Emacs package Helm-spotify
Emacs Lisp
50
star
4

literate_emacs

Literate Emacs configuration with EXWM
Emacs Lisp
42
star
5

meta-schema

Little DSL to make data processing sane with clojure.spec and spec-tools
Clojure
26
star
6

vim-mindset-apply-emacs

Learning from other great community is the best way to go!
20
star
7

cljr-ivy

Access clojure refactor tool from ivy
Emacs Lisp
14
star
8

ivy-clojuredocs

Searching for help in ClojureDocs.org
Emacs Lisp
14
star
9

python-experiment

Package to make Experiments in Python way lot easier.
Emacs Lisp
9
star
10

oblique-strategies

Emacs Lisp
7
star
11

alabaster-theme

Emacs theme ported from alabaster-vscode-theme
Emacs Lisp
4
star
12

sdff

Software Design for Flexibility
Clojure
4
star
13

dotfiles

Config files for all machines that I use
Emacs Lisp
4
star
14

replr

Read Eval Print Loop, and READ!
JavaScript
3
star
15

aprenda-haskell-rapido-e-dificil

Portuguese translation of Learn Haskell Fast and Hard by Yann Esposito
Emacs Lisp
2
star
16

evil

Here be Evil dragons...
Emacs Lisp
2
star
17

wandersoncferreira.github.io

2
star
18

DataScienceGame2017

Repositório para desenvolvimento da competição DataScienceGame2017
Jupyter Notebook
1
star
19

respondent

Minimal CES Framework
Clojure
1
star
20

tb_vti

Lasso
1
star
21

genetic-algorithm

Portion of code. Global optimisation for AVO inversion: Analysis of the ray tracing forward modelling algorithm.
Fortran
1
star
22

latex-cv

Repository to keep my Latex Template of CV under version control
TeX
1
star
23

HackinSampa2017

No corruption any more baby
Jupyter Notebook
1
star
24

command-of-the-day

Plan your week to sharp your Emacs-fu
Emacs Lisp
1
star
25

sbgf2013-hellbig

Project: Estimation of the total magnetization direction using Helbig's method: A comparative study using the Reduction to the Pole operator Read More: http://library.seg.org/doi/abs/10.1190/sbgf2013-104
MATLAB
1
star